Ábécé, szó, formális nyelv
Műveletek nyelvekkel
Formális rendszerek
Generatív nyelvtanok
Reguláris nyelvek
Környezetfüggetlen nyelvek