Aggiunta DFA