Regulární gramatika: Porovnání verzí

Smazaný obsah Přidaný obsah
+fakt: divná podminka, ze?
m oprava chybně vložené šablony
Řádek 1:
'''Regulární gramatika''' je typ [[Formální gramatika|formální gramatiky]]. Přesněji je to gramatika typu 3 podle [[Chomského hierarchie]].
 
Gramatika typu 3 obsahuje pravidla tvaru <math>X \rightarrow wY</math> a <math>X \rightarrow w</math>, kde X,Y jsou neterminály a w je řetězcem terminálů. Gramatika také může obsahovat pravidlo <math>S \rightarrow \epsilon</math> v případě, že se <math>S</math> nevyskytuje na pravé straně žádného pravidla.{{faktFakt/dne|20150202020202|tady je ta podminka nezajimava}} Rozšíření regulární gramatiky o řetězce se nazývá '''pravá lineární gramatika'''.
 
Obdobně se definují i '''levé lineární gramatiky''', které obsahují pravidla tvaru <math>X \rightarrow Yw</math> a <math>X \rightarrow w</math>, kde X,Y jsou neterminály a w je řetězcem terminálů.