Major revision of generate_DFA.c