accepts de NFALambda implementado