validation DFA em C