comparison automaton