.automaton works