The top documents tagged [formal languages automata]