raw DFA constructed