Un automate est déterministe si et seulement si les deux conditions suivantes sont vérifiées : 1.
L'automate possède un et un seul état initial ; 2.
Pour chaque état q et pour chaque lettre α, il existe au plus une transition issue de q d'étiquette α.
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).