created optimized dfa