3 Bezkontextové jazyky

Formální jazyk je bezkontextový právě tehdy, když jej lze generovat bezkontextovou gramatikou. Pro bezkontextové jazyky dále platí, že je lze:

• přijmout nedeterministickým zásobníkovým automatem.

Tato třída je uzavřená pro operace: sjednocení, zřetězení a iterace. Není uzavřená pro operace: průnik, doplněk a rozdíl. Pokud tedy provedeme například průnik dvou bezkontextových jazyků, výsledný jazyk nemusí být bezkontextový.