经典计算的计算模型计算机科学导论第五讲.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * ?演算中的算术 后继运算的定义 succ ? ?n.?f. ?x. f ((nf )x) succ 1 ? (?n.?f. ?x. f ((nf )x)) (?f .?x. f x) = ?f. ?x. f (((?f .?x. f x) f )x) = ?f. ?x. f ((?x. f x) x) = ?f. ?x. f (f x) ? 2 * ?演算中的算术 加和乘的定义 add ? ?x.?y.?f.?z. x f (y f z) mult ? ?x.?y.?f. x(y f ) mult 2 3 ? (?x.?y.?f. x (y f)) (?f. ?x. f 2x) (?f. ?x. f 3x) = (?y.?f. (?f. ?x. f 2x) (y f)) (?f. ?x. f 3x) = ?f. (?f. ?x. f 2x) ( (?f. ?x. f 3x) f ) = ?f. (?f. ?x. f 2x) (?x.