Add a simple DFA