Efficient reduction of nondeterministic automata with application to language inclusion testing

Lorenzo Clemente, Richard Mayr

We present efficient algorithms to reduce the size of nondeterministic Büchi word automata (NBA) and nondeterministic finite word automata (NFA), while retaining their languages. A…