计算理论6章 Lambda演算模型.pptVIP

?├ E1: T1? T2, ?├ E2:T1 ?├ E1E2: T2 ?├ x: T1, ?├ E: T2 ?├ ?x:T. E : T1? T2 计算理论 第六章 Lambda演算模型 主要内容： 纯Lambda演算理论 纯Lambda演算实例 纯Lambda演算的扩展 2.4 Lambda演算理论 Lambda演算形式系统主要有两部分： 表达式的形式系统 变换规则的形式系统 2.4 Lambda演算理论 2.4 Lambda演算理论 Lambda演算理论是一个形式系统，同Turing机一样可作为计算模型。 Lambda演算理论是函数式语言的基础，也是指称语义学的理论基础。 纯Lambda表达式形式：主要由变量名和抽象符号?、‘.’以及括号等符号构成。 用E表示?表达式，Exp表示?表达式之集，Exp定义如下： x?Exp，其中x是变量名。 若E1?Exp，E2?Exp，则E1 E2 ? Exp。 若E ?Exp，x是变量，则?x.E ? Exp。 若E ? Exp，则（E）? Exp。 其中，E1 E2型表达式称为应用型表达式，?x.E型 表达式称为抽象型表达式。 1 Lambda演算理论 ?表达式的BNF表示（x为变量，E?Exp）： E ::= x