The top documents tagged [input language of automata]