DEFINISI
Bentuk normal Greibach merupakan suatu bentuk Context Free Grammar (CFG) yang aturan produksinya berada dalam bentuk :
A -> a [ simbol pertama pada ruas kanan merupakan simbol terminal ]
PERSYARATAN SUATU TATA BAHASA UNTUK DAPAT DIUBAH KE DALAM BENTUK GNF
Syarat untuk melakukan penyederhanaan greibach adalah : - Sudah dalam bentuk normal chomsky - Tidak bersifat rekursif kiri - Tidak menghasilkan
a. jika h> i, aturan produksi salah. Lakukan substitusi berulang terhadap Ai,
sehingga diperoleh produksi dalam bentuk :
Ah Ap (dimana h p)
Jika h = p, lakukan penghilangan rekursif kiri Jika h < p, aturan produksi sudah benar Jika terjadi penghilangan rekursif kiri pada tahap (2b), sejumlah variabel baru
yang
muncul dari operasi ini dapat disisipkan pada urutan variabel semula dimana saja asalkan tidak sebelum Ah(di kiri)
Setelah langkah (2) & (3) dikerjakan, maka aturan-aturan produksi yang ruas kanannya dimulai simbol variabel sudah berada dalam urutan yang benar.
- Ax
(dimana x < y)
- Produksi-produksi yang lain dalam bentuk : Ax a (a = simbol terminal) Bx Bx = simbol variabel baru yang muncul
- Bentuk nomral Greibach diperoleh dengan cara melakukan substitusi mundur mulai dari variabel Am, lalu Am-1, Am-2, . dengan cara ini aturan produksi dalam bentuk Ax Ay dapat diubah sehingga ruas kanannya dimulai dengan simbol terminal.
- Produksi yang dalam bentuk Bx juga dapat diubah dengan cara substitusi seperti pada langkah 5.