dk.brics.automaton automaton 1.11-8 1.11-8 1.11-8 20111205093849