Adds preliminary work for DFA states