Mal:Formelle språk og grammatikker

Automatteori: formelle språk og formelle grammatikker

Chomsky- hierarkiet	Grammatikker	Språk	Minimal automat
Type-0	Uavgrensa	Rekursivt nummererbare	Turingmaskin
Type-1	Kontekstsensitiv	Kontekstsensitivt	Lineært bundet
Type-2	Kontekstfri	Kontekstfritt	Pushdown
Type-3	Regulær	Regulært	Endelig

Hver kategori av språk eller grammatikker er en delmengde av kategorien rett over,
og hver automatisering i hver kategori har en ekvivalent automatisering i kategorien rett over.

Hentet fra «https://no.wikipedia.org/w/index.php?title=Mal:Formelle_språk_og_grammatikker&oldid=24562033»