Package dk.brics.automaton