dk.brics.automaton
