a minimal automaton in decparse