Разница между бета-редукцией и одноэтапным бета-восстановлением?

Question

Я прошел через многочисленные источники в Интернете по лямбда-исчислению, ища разницу между бета-редукцией и одноступенчатой ​​бета-редукцией. Но все, что я знаю, до сих пор является то, что снижение бета определяется как:

(/x.L)M --> {M/x}L 

и после определения 1 стадии бета-редукции:

Может кто-то пожалуйста ясно разницу между этими двумя вещами с некоторыми, например Они кажутся мне похожими. Кроме того, существует n ступенчатое бета-сокращение, которое я понял как индуктивно применяемое 1-ступенчатое бета-восстановление. Но поскольку разница между бета-редукцией и одноэтапным бета-редукцией неясна, я чувствую себя беспомощной. Заранее спасибо.

Answer 1

Я думаю, что бета-сокращение может обозначать как однократное, так и многоступенчатое бета-сокращение.

Я могу сказать, что бета-редукция может дать /z.a от (/x./y./z.x) a b, но я не могу сказать, что одноэтапное бета-сокращение может это сделать.

Остальное, что вы сказали, является правильным.