toDFA de NFALambda implementado