metodos NFA.toDFA y NFALambda.toDFA implementados