关于 Lambda演算 变换规则(三种变换) α变换:设E是表达式,x是变量,则称下面变换为变换 (其中y不在FV(AxE)中) 入xE-2-)xyyx]E β变换:设xE)和E0为表达式,则称下面变换为变换 (称β变换规则的左部表达式为β基) (xEEO EEO/X ●η变换:假设入x,Mx是一个表达式,且满足条件xgFV(M 则称下面变换为变换: (x Mx)n M 2021/2/52021/2/5 10 关于Lambda演算 ⚫ 变换规则 （三种变换） ⚫ 变换：设E是表达式，x是变量，则称下面变换为α变换 （其中y不在 FV( x.E )中） x.E ------〉 y.[y/x] E ⚫ 变换：设(x.E)和E0为表达式，则称下面变换为β变换 （称β变换规则的左部表达式为β基） (x.E)E0 E[E0/x] ⚫ 变换：假设x.Mx是一个表达式，且满足条件xFV(M)， 则称下面变换为η变换: (x.M x) M   