Automaton

done