3.編程入門第1講lambda演算規(guī)則,附練習(xí)題


地球,地球,月球,太陽(yáng)

地球→地球,月球→月球,甲
最后一道的過(guò)程是這樣的:
((1,0)=>1)
(
??((1,0)=>1)(1=>1,1=>1),1=>1)
)
=
((1,0)=>1)
(
??( (1)(1,1),1 )
)
= (1)((1,1),1) = 1
另外這結(jié)構(gòu)太復(fù)雜了,下次咱多給點(diǎn)換行和縮進(jìn),哪怕單放在一張PPT上呢,或者彩虹括號(hào)

西→西,南→南,南→南

開開心心=>開開心心

(乒,乓)→乒

風(fēng)→風(fēng)
標(biāo)簽: