The Abstract Theory of Automata | Synapse