关于 Lambda演算 ●自由变量(计算一个表达式的自由变量集合) 表达式E中变量名x的一次出现称为由出现,如果E 中任何一个形如xE的子表达式包含该出现; ●y(x∴y(Axxy)(z(λxxx))的自由变量集合{y功 ●替换(计算) 设E和E0是表达式,x是变量名,替换EE0/x是表示 把E中的所有x的自由出现替换成E0 ●需要明确变量的自由出现 ●计算规则 (yx+y)yx]=λzy+z 2021/2/52021/2/5 11 关于Lambda演算 ⚫ 自由变量（计算一个表达式的自由变量集合） ⚫ 表达式E中变量名x的一次出现称为自由出现，如果E 中任何一个形如x. E’的子表达式包含该出现； ⚫ y (x y. y (x. x y ) ) (z (x. x x) )的自由变量集合{y, z} ⚫ 替换（计算） 设E和E0是表达式，x是变量名，替换E[E0/x]是表示 把E中的所有x的自由出现替换成E0。 ⚫ 需要明确变量的自由出现 ⚫ 计算规则 ⚫ ( y. x+y) [y/x] = z. y+z