It is closely linked with automata theory, as automata are used to generate and recognize formal languages.
Ea este strâns legată de teoria automatelor, întrucât automatele sunt folosite pentru a genera și a recunoaște limbaje formale.