lambda演算 和图灵机.pptVIP

软件工程理论报告;报告内容;1.λ演算;λ表达式的唯一形式：x，λy?e，f(a)

例如：f(x,y)=x+y

λx?λy?x+y

函数求值：

f(2,3)可以表示为：

(λx?λy?x+y)23

(λy?2+y)3

2+3

如上已经完成了普通加法，这样就结束了？？;lambda演算系统中合法的字符如下：

x1，x2，x3，...xn变元

→归约

＝等价

λ，（，）

所有能够在lambda演算系统中出现的合法符号只有以上四种，其他符号都是非法的。例如λx.x+2，如果没有其他对于＋符号的说明，那么这就是一个非法的λ演算表达式。

同时，自然数2也需要定义。;在lambda演算中有许多方式都可以定义自然数，但最常见的还是邱奇数

Church数

邱奇编码是把数据和运算符嵌入到lambda演算内的一种方式，它是使用lambda符号的自然数的表示法。这种方法得名于阿隆佐·邱奇，他首先以这种方法把数据编码到lambda演算中。;Church数是在Church编码下的自然数的表示法。表示自然数n的高阶函数是把任何其他函数f映射到它的n重函数复合