The top documents tagged [finite automata11 automata]