Adds more DFA methods