Adding DFA Examples