add an option to autfilt to match automata that recognize a given word
This requires a syntax for specifying lasso-shaped words.
This was suggested by Matthias Heizmann.
This requires a syntax for specifying lasso-shaped words.
This was suggested by Matthias Heizmann.