Add Automata and DFAStates
Add find iterator and modify DFAState