automaton.pdf