The top documents tagged [restarting automata]