RE to DFA by direct method