minimal DFA proto