Chomského hierarchie: Porovnání verzí

:Generují [[bezkontextový jazyk|bezkontextové jazyky]]. Skládají se z pravidel <math>A \rightarrow \gamma</math> s neterminalem <math>A</math> a řetězcem terminálů a neterminálů <math>\gamma</math>. Pravidlo <math>S \rightarrow \epsilon</math> je povoleno, pokud se <math>S</math> nevyskytuje na pravé straně žádného pravidla. Tyto jazyky jsou právě jazyky rozpoznatelné nějakým nedeterministickým [[zásobníkový automat|zásobníkovým automatem]].