The top documents tagged [finite automata a1]