added sample DFA
reading DFA file