Automaton tracer