Mal:Formelle språk og grammatikker
| |||||||||||||||||||||
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. | |||||||||||||||||||||