dk/brics/automaton/automaton/