Šablon:Formalni jezici i gramatike

Hijerarhija Čomskog	Gramatike	Jezici	Apstraktne mašine
Tip-0 — Tip-1 — — — — — Tip-2 — — Tip-3 — —	Bez ograničenja (bez uobičajenog imena) Kontekst senzitivna Positive range concatenation Indeksirana — Linear context-free rewriting systems Tree-adjoining Kontekst-slobodna Deterministička kontekst-slobodna Visibly pushdown Regularna — Non-recursive	Rekurzivno prebrojivi Rekurzivni Kontekst senzitivni Positive range concatenation^* Indeksiran^* — Linear context-free rewriting language Tree-adjoining Kontekst-slobodni Deterministički kontekst-slobodni Visibly pushdown Regularan Star-free Finitni	Tjuringova mašina Odlučivač Linearno-ograničeni PTIME Tjuringova mašina Ugnježdeni stek Thread automaton restricted Tree stack automaton Embedded pushdown Nedeterministički potisni Deterministički potisni Visibly pushdown Konačni Counter-free (with aperiodic finite monoid) Acyclic finite

Svaka kategorija jezika ili gramatika je pravi podskup kategorije direktno iznad nje.