automata following automata classification different types described previous section mathematical category deterministic automata sequential machines ' 'sequential automata'' turing machines automata homomorphisms defining arrows automata cartesian closed category categorical limits colimits automata homomorphism maps quintuple automaton ''a'' sub sub onto quintuple another automaton '' a'' sub j sub automata homomorphisms also considered ''automata transformations'' semigroup homomorphisms state space '''''s''''' automaton defined semigroup '''s''' sub g sub monoids also considered suitable
Formal science Computer science Theory of computation Automata theory