The top documents tagged [types of finite automata]