beta-reducer-sed 描述 lambda演算的beta减少的[一个步骤]的实现。 该sed脚本可以被认为是一种简单但在计算上通用(即图灵完备)的功能编程语言的实现。 句法 输入语言模仿了标准的lambda-calculus表示法,但用易于键入的符号\ (反斜杠)替换了希腊语lambda,并在lambda定义中省略了点。 例如,可以将这种修改后的符号中的标识函数定义为\xx 。 仅通过附加的sed-script preprocessor.sed支持自定义定义(例如true = \ x \ yx)和注释(在--和直到同一行末尾的任何文本都将被忽略)。 还支持de Bruijn索引,可以将其[可选地]放在标识符后的尖括号中(有关更多详细信息,请参见下文)。 特点和局限性 尽管它只执行一次beta减少操作,但从理论上讲,您可以重复调用此脚本,直到它接近固定点为止(甚至修改该脚本,以