repOk de DFA y NFALambda agregados