DFA reduction prototype