The top documents tagged [model of discrete automata]