Gramatiky: Shrnutí
Gramatiky
Tvar
pravidel x ® y
Neomezené
x Î (N È T)*N(N È T)*
y Î (N È T)*
Kontextové
x Î (N È T)*N(N È T)*
y Î (N È T)*, |x| £ |y|
Bezkontextové
Pravé lineární
Jazyky
Rekurzivně vyčíslitelné
Kontextové
Bezkontextové
Regulární
Zobecňování
Specializování
36/45