Actually added README and a sample DFA file