The top documents tagged [nstate automaton]