There are several classes of formal languages, each allowing more complex language specification than the one before it, i.e. Chomsky hierarchy, and each corresponding to a class of automata which recognizes it.
Există mai multe clase de limbaje formale, fiecare permițând specificații mai complexe de limbaj decât cea dinainte, de unde structurarea lor în ierarhia Chomsky, și fiecare corespunzând unei clase de automate care o recunoaște.