Build brics automaton from a regular expression in brics format
Build brics automaton that accepts exactly the given word
A new automaton that accepts any string
Check whether we should avoid ever minimising the given automaton.
Build brics automaton that accepts exactly the prefixes of the given string.