Un langage L sur r est reconnaissable s'il existe au moins un automate fini A ayant r comme alphabet d'entrée tel que L = L(A).
Un automate A = 〈Q, r, δ, q0, F〉 est complet si A peut transiter depuis chaque état vers un autre état sur tous les symboles de r.
La hiérarchie de Chomsky connaît quatre types de grammaires et de langages : récursivement énumérable (type 0), contextuel (type 1), algébrique (type 2), rationnel (type 3).
La théorie des langages fournit une base conceptuelle et éventuellement des outils de production qui réduisent considérablement les coûts de production des modules « analyseur syntaxique » et « décompilateur ».
La définition rigoureuse des arbres abstraits manipulés facilite la conception du « cœur » de l'application.