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
2. Lihat satu persatu aturan produksinya. Jika pada ruas kanannya diawali dengan simbol non-terminal, bandingkan urutannya dengan non terminal pada ruas kiri
- Jika simbol non terminal ruas kiri lebih kecil, maka sudah benar
- Jika simbol non terminal ruas kiri lebih besar, maka perlu substitusi - Jika simbol non terminal ruas kiri sama besar, maka perlu dilakukan
End.