Added DFA Stuff.