addition of DFA to current list - green