3.编程入门第1讲lambda演算规则,附练习题


地球,地球,月球,太阳

地球→地球,月球→月球,甲
最后一道的过程是这样的:
((1,0)=>1)
(
((1,0)=>1)(1=>1,1=>1),1=>1)
)
=
((1,0)=>1)
(
( (1)(1,1),1 )
)
= (1)((1,1),1) = 1
另外这结构太复杂了,下次咱多给点换行和缩进,哪怕单放在一张PPT上呢,或者彩虹括号

西→西,南→南,南→南

开开心心=>开开心心

(乒,乓)→乒

风→风