These arose in theoretical computer science, in the subfields of automata theory (models of computation) and the description and classification of formal languages.
Acestea au apărut în informatica teoretică⁠(d), în subdomenii ale teoriei automatelor (modelelor de calcul) și în descrierea și clasificarea limbajelor formale.