simplified output to just the automaton