This program creates a DFA