Category:Automata (computation)

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