ostrich.automata
Constructs the Caley graph of the given automaton
Build a Caley graph for aut.
Build a Caley graph for aut. Restrict to boxes representing words that are prefixes of those accepted by all automata in wordBounds.
Constructs the Caley graph of the given automaton