The top documents tagged [symbolic finite automata]