an automaton is a machine