Indexing Finite-State Automata Using Forward-Stable Partitions

Ruben Becker, Sung-Hwan Kim, Nicola Prezza +1

An index on a finite-state automaton is a data structure able to locate specific patterns on the automaton's paths and consequently on the regular language accepted by the automato…