dk.brics automaton 1.12-4