system
Răspunde în limba română, în stilul Wikipedia, cat mai corect gramatical.
user
Dă-mi mai multe informații despre Forma normală Greibach.
assistant
O gramatică independentă de context pentru care este îndeplinită condiția ca partea dreaptă a oricărei producții începe cu un terminal sau este șirul vid se numește gramatică de tip Q.

O formă particulară de gramatică de tip Q este forma normală Greibach. În acest caz nu există λ-producții cu excepția cel mult a unei λ-producții corespunzătoare simbolului de start al gramaticii. În cazul în care această producție există, simbolul de start al gramaticii nu apare în partea dreaptă a nici unei producții.

În forma normală Greibach producțiile sunt de forma :

cu
 
și

Limbaje formale și automate