Lambda 演算 - 评估自定义重写规则以增量

Question

我正在使用这套 lambda 演算重写规则：

在评估“INC 0”时，我执行了以下步骤：

随后，我这样评价“INC 1”：

这些评估准确吗？如果不是，我做错了什么？

Answer 1

最后一步不正确。看来你混淆了优先顺序。 (\x.x) 不适用于第一个 \x。 ..抽象，但它的一部分。

您可以使用在线 lambda beta-reducer，例如 https://lamboolda.com/lambda 来检查您的结果：