Created DFA header
Merge https://github.com/jtr-git/dfa-sim with local