Я просмотрел множество онлайн-источников по лямбда-исчислению в поисках разницы между бета-сокращением и одношаговым бета-сокращением. Но все, что я знаю до сих пор, это то, что бета-редукция определяется как:
(/x.L)M --> {M/x}L
и следующее определение 1-шагового сокращения бета-версии:
Может кто-нибудь, пожалуйста, проясните разницу между этими двумя вещами на каком-нибудь примере. Мне они кажутся эквивалентными. Кроме того, существует n-ступенчатое бета-снижение, которое я понял как индуктивно применяемое 1-ступенчатое бета-сокращение. Но поскольку разница между бета-снижением и одноэтапным бета-снижением не ясна, я чувствую себя беспомощным. Заранее спасибо.