Succ := λ n. λ s. λ z. s (n s z)
Zero := λ s. λ z. z
Ack := λ p. p (λ a. λ q. a (q a (Succ Zero)) Succ)
https://users.dcc.uchile.cl/~abassi/Cursos/41a/lambdacalc.pdf
처치 인코딩된 아커만 함수
기괴공학도(mecheng98)
2019-11-02 11:25
추천 0
다른 게시글
-
얼리버드 기상땔감(gcp24685) | 19.11.02추천 0
-
유니티 질문 [2]책사풍후미..(eridu3) | 19.11.02추천 0
-
첫사랑썰하위헌스(112.218) | 19.11.02추천 1
-
40인데 아다임익명(175.223) | 19.11.02추천 0
-
중고등학교 자퇴하면 선택하는 루트는? [4]익명(222.121) | 19.11.02추천 1
-
인간은 로봇이 지배했으면 좋겠다.익명(1.245) | 19.11.02추천 0
-
나 좆소다니는데 1년 쫌 안됨 경력익명(110.70) | 19.11.02추천 0
-
국비충 좆소충 다 인정한다이거야~~서어이서(iiomko) | 19.11.02추천 0
-
여자친구임신 걔 요새 안보이네 [2]익명(1.245) | 19.11.02추천 0
-
이거 완전 걔아냐?우물안개구..(14.47) | 19.11.02추천 0
댓글 0