lambda演算到Y-combinator

这篇是我读《the little scheme》之后想记下来一些东西,这本书初看是在介绍简单的scheme的语法,写一些例子,但是在最后几章分别介绍了图灵停机问题和Y combinator,我才发现作者的心思。 \(\lambda\)-Calculus的语法与规约 语法以及自由变量 先给出lambda演算的BNF 然后给出一些例子: 简单的解释一下的话,对于单一的x,就是指一个变量x,而对于(x y)这种形式,意义是将x应用