Category:Automata (computation)

{{Commonscat|Automata theory}}

This category is concerned with the formal definitions of finite-state machines in theoretical computer science, and the various generalizations thereof.

Category:Models of computation

Category:Computational fields of study