Intersection
Check whether the automaton accepts a given word.
Get any word accepted by this automaton, or None
if the language is empty
Get any word accepted by this automaton, or None
if the language is empty
Compute the length abstraction of this automaton.
Check whether this automaton accepts any word.
Complementation
Union
Interface for different implementations of finite-state automata.