BAB XII BENTUK NORMAL GREIBACH
= rangkaian simbol variabel (V*) A. DEFINISI Dalam bentuk normal Greibach dibatasi munculnya simbol terminal dan variabel. Bentuk umum aturan produksi bentuk normal Greibach dari suatu CFG adalah A a a = simbol terminal = rangkaian simbol variabel (V*)
Syarat suatu CFG dapat diubah ke bentuk normal Greibach adalah : Normal Chomsky Tidak rekursif kiri Tidak menghasilkan Dua cara mengubah bentuk normal Greibach yaitu: Dengan substitusi Dengan perkalian matriks
PEMBENTUKAN NORMAL GREIBACH DENGAN SUBSTITUSI Urutkan simbol variabel A1,A2,…Am Seluruh AP yang ruas kanan diawali variabel ditulis AhAi (hi dan bisa variabel) Jika h < i , AP sudah benar Jika h > i , AP belum benar, lakukan substitusi berulang sampai terbentuk Ah Ap (h p) Jika h = p, lakukan penghilangan rekursif kiri Jika h < p, AP sudah benar Jika dilakukan penghilangan rekursif kiri, sejumlah variabel muncul dapat disisipkan pada urutan variabel semula dimana saja asal tidak sebelum Ah (dikiri).
Berlaku Ax Ay (x<y), produksi lain ada dalam bentuk Bx a = simbol terminal Lakukan substitusi mundur dari Am, sehingga Ax Ay dapat diubah Bx juga dapat diubah