Added 'Utility'
Major revision of generate_DFA.c