====== Automata ======

~~REDIRECT>Automaton~~

{{tag>Redirect}}