Continued implementation of automaton