锘??xml version="1.0" encoding="utf-8" standalone="yes"?>MM1313亚洲国产精品,亚洲国产精品一区第二页,亚洲日韩乱码中文无码蜜桃http://m.tkk7.com/justinlei/category/3750.htmlzh-cnSat, 03 Mar 2007 02:46:50 GMTSat, 03 Mar 2007 02:46:50 GMT60Lambda琛ㄨ揪寮忓熀紜http://m.tkk7.com/justinlei/articles/15093.htmlJustinLeiJustinLeiSun, 09 Oct 2005 15:03:00 GMThttp://m.tkk7.com/justinlei/articles/15093.htmlhttp://m.tkk7.com/justinlei/comments/15093.htmlhttp://m.tkk7.com/justinlei/articles/15093.html#Feedback0http://m.tkk7.com/justinlei/comments/commentRss/15093.htmlhttp://m.tkk7.com/justinlei/services/trackbacks/15093.html

JustinLei 2005-10-09 23:03 鍙戣〃璇勮
]]>
位婕旂畻http://m.tkk7.com/justinlei/articles/14985.htmlJustinLeiJustinLeiSat, 08 Oct 2005 06:49:00 GMThttp://m.tkk7.com/justinlei/articles/14985.htmlhttp://m.tkk7.com/justinlei/comments/14985.htmlhttp://m.tkk7.com/justinlei/articles/14985.html#Feedback0http://m.tkk7.com/justinlei/comments/commentRss/14985.htmlhttp://m.tkk7.com/justinlei/services/trackbacks/14985.html位婕旂畻鏄竴濂楃敤浜庣爺絀?a title="鍑芥暟">鍑芥暟瀹氫箟銆佸嚱鏁板簲鐢ㄥ拰閫掑綊鐨?a class="new" title="褰㈠紡緋葷粺">褰㈠紡緋葷粺銆傚畠鐢?Alonzo Church 鍜?Stephen Cole Kleene 鍦?20 涓栫邯涓夊崄騫翠唬寮曞叆錛孋hurch 榪愮敤 lambda 婕旂畻鍦?1936 騫寸粰鍑?鍋滄満闂涔嬪厛銆侺ambda 婕旂畻瀵?a class="new" title="鍑芥暟寮忕紪紼?>鍑芥暟寮忕紪紼?/a>鏈夊法澶х殑褰卞搷錛岀壒鍒槸Lisp 璇█銆?/p>

Lambda 婕旂畻鍙互琚О涓烘渶灝忕殑閫氱敤紼嬪簭璁捐璇█銆傚畠鍖呮嫭涓鏉″彉鎹㈣鍒?(鍙橀噺鏇挎崲) 鍜屼竴鏉″嚱鏁板畾涔夋柟寮忥紝Lambda 婕旂畻涔嬮氱敤鍦ㄤ簬錛屼換浣曚竴涓彲璁$畻鍑芥暟閮借兘鐢ㄨ繖縐嶅艦寮忔潵琛ㄨ揪鍜屾眰鍊箋傚洜鑰岋紝瀹冩槸絳変環(huán)浜?a title="鍥劇伒鏈?>鍥劇伒鏈?/a>鐨勩傚敖綆″姝わ紝Lambda 婕旂畻寮鴻皟鐨勬槸鍙樻崲瑙勫垯鐨勮繍鐢紝鑰岄潪瀹炵幇瀹冧滑鐨勫叿浣撴満鍣ㄣ傚彲浠ヨ涓鴻繖鏄竴縐嶆洿鎺ヨ繎杞歡鑰岄潪紜歡鐨勬柟寮忋?br>

鍘嗗彶

鏈寮濮嬶紝Church 璇曞浘鍒涘埗涓濂楀畬鏁寸殑褰㈠紡緋葷粺浣滀負鏁板鐨勫熀紜錛屽綋浠栧彂鐜拌繖涓郴緇熸槗鍙?a title="緗楃礌鎮(zhèn)栬">緗楃礌鎮(zhèn)栬鐨勫獎鍝嶆椂錛屽氨鎶?lambda 婕旂畻鍗曠嫭鍒嗙鍑烘潵錛岀敤浜庣爺絀?a title="鍙綆楁?>鍙綆楁?/a>錛屾渶緇堝鑷翠簡浠栧[緙栬緫]

闈炲艦寮忓寲鐨勬弿榪?/h2>

鍦?lambda 婕旂畻涓紝姣忎釜琛ㄨ揪寮忛兘浠h〃涓涓彧鏈夊崟鐙弬鏁扮殑鍑芥暟錛岃繖涓嚱鏁扮殑鍙傛暟鏈韓涔熸槸涓涓彧鏈夊崟涓鍙傛暟鐨勫嚱鏁幫紝鍚屾椂錛屽嚱鏁扮殑鍊兼槸鍙堜竴涓彧鏈夊崟涓鍙傛暟鐨勫嚱鏁般傚嚱鏁版槸閫? 榪?lambda 琛ㄨ揪寮忓尶鍚嶅湴瀹氫箟鐨勶紝榪欎釜琛ㄨ揪寮忚鏄庝簡姝ゅ嚱鏁板皢瀵瑰叾鍙傛暟榪涜浠涔堟搷浣溿備緥濡傦紝鈥滃姞 2鈥濆嚱鏁?f(x) = x + 2 鍙互鐢?lambda 婕旂畻琛ㄧず涓?位 x. x + 2 (位 y. y + 2 涔熸槸涓鏍風殑錛屽弬鏁扮殑鍙栧悕鏃犲叧绱ц) 鑰?f(3) 鐨勫煎彲浠ュ啓浣?(位 x. x + 2) 3銆傚嚱鏁扮殑浣滅敤 (application) 鏄?a class="new" title="宸︾粨鍚?>宸︾粨鍚?/a>鐨勶細f x y = (f x) y銆傝冭檻榪欎箞涓涓嚱鏁幫細瀹冩妸涓涓嚱鏁頒綔涓哄弬鏁幫紝榪欎釜鍑芥暟灝嗚浣滅敤鍦?3 涓婏細位 x. x 3銆傚鏋滄妸榪欎釜 (鐢ㄥ嚱鏁頒綔鍙傛暟鐨? 鍑芥暟浣滅敤浜庢垜浠厛鍓嶇殑鈥滃姞 2鈥濆嚱鏁頒笂錛?位 x. x 3) (位 x. x+2)錛屽垯鏄庢樉鍦幫紝涓嬭堪涓変釜琛ㄨ揪寮忥細

(位 x. x 3) (位 x. x+2)   涓?   (位 x. x + 2) 3    涓?   3 + 2

鏄瓑浠風殑銆傛湁涓や釜鍙傛暟鐨勫嚱鏁板彲浠ラ氳繃 lambda 婕旂畻榪欎箞琛ㄨ揪錛氫竴涓崟涓鍙傛暟鐨勫嚱鏁扮殑榪斿洖鍊煎張鏄竴涓崟涓鍙傛暟鐨勫嚱鏁?(鍙傝 Currying)銆備緥濡傦紝鍑芥暟 f(x, y) = x - y 鍙互鍐欎綔 位 x. 位 y. x - y銆備笅榪頒笁涓〃杈懼紡錛?/p>

(位 x. 位 y. x - y) 7 2    涓?   (位 y. 7 - y) 2    涓?   7 - 2

涔熸槸絳変環(huán)鐨勩傜劧鑰岃繖縐?lambda 琛ㄨ揪寮忎箣闂寸殑絳変環(huán)鎬ф棤娉曟壘鍒頒竴涓氱敤鐨勫嚱鏁版潵鍒ゅ畾銆?/p>

騫墮潪鎵鏈夌殑 lambda 琛ㄨ揪寮忛兘鍙互瑙勭害鑷充笂榪伴偅鏍風殑紜畾鍊鹼紝鑰冭檻

(位 x. x x) (位 x. x x)

鎴?/p>

(位 x. x x x) (位 x. x x x)

鐒跺悗璇曞浘鎶婄涓涓嚱鏁頒綔鐢ㄥ湪瀹冪殑鍙傛暟涓娿?(位 x. x x) 琚О涓?蠅 緇勫悎瀛愰昏緫 (combinatory logic)銆?/p>

褰㈠紡鍖栧畾涔?/h2>

褰㈠紡鍖栧湴錛屾垜浠粠涓涓爣璇嗙 (identifier) 鐨?a title="鍙暟鏃犵┓">鍙暟鏃犵┓闆嗗悎寮濮嬶紝姣斿 {a, b, c, ..., x, y, z, x1, x2, ...}錛屽垯鎵鏈夌殑 lambda 琛ㄨ揪寮忓彲浠ラ氳繃涓嬭堪浠?涓婁笅鏂囨棤鍏蟲枃娉?/a>鎻忚堪錛?/p>

  1. <expr> ::= <identifier>
  2. <expr> ::= (位 <identifier> . <expr>)
  3. <expr> ::= (<expr> <expr>)

澶翠袱鏉¤鍒欑敤鏉ョ敓鎴愬嚱鏁幫紝鑰岀涓夋潯鎻忚堪浜嗗嚱鏁版槸濡備綍浣滅敤鍦ㄥ弬鏁頒笂鐨勩傞氬父錛宭ambda 鎶借薄 (瑙勫垯 2) 鍜屽嚱鏁頒綔鐢?(瑙勫垯 3) 涓殑鎷彿鍦ㄤ笉浼氫駭鐢熸涔夌殑鎯呭喌涓嬪彲浠ョ渷鐣ャ傚涓嬪亣瀹氫繚璇佷簡涓嶄細浜х敓姝т箟錛?1) 鍑芥暟鐨勪綔鐢ㄦ槸宸︾粨鍚堢殑錛屽拰 (2) lambda 鎿嶄綔絎﹁緇戝畾鍒板畠鍚庨潰鐨勬暣涓〃杈懼紡銆備緥濡傦紝琛ㄨ揪寮?((位 x. (x x)) (位 y. y)) 鍙互綆鍐欐垚 (位 x. x x) 位 y.y銆?/p>

綾諱技 位 x. (x y) 榪欐牱鐨?lambda 琛ㄨ揪寮忓茍鏈畾涔変竴涓嚱鏁幫紝鍥犱負鍙樺厓 y 鐨勫嚭鐜版槸鑷敱鐨勶紝鍗沖畠騫舵病鏈夎緇戝畾鍒拌〃杈懼紡涓殑浠諱綍涓涓?位 涓娿傚彉鍏冨嚭鐜版鏁扮殑緇戝畾鏄氳繃涓嬭堪瑙勫垯 (鍩轟簬 lambda 琛ㄨ揪寮忕殑緇撴瀯褰掔撼鍦? 瀹氫箟鐨勶細

  1. 鍦ㄨ〃杈懼紡 V 涓紝V 鏄彉鍏冿紝鍒欒繖涓〃杈懼紡閲屽彉鍏?V 鍙湁涓嬈¤嚜鐢卞嚭鐜般?/li>
  2. 鍦ㄨ〃杈懼紡 位 V . E 涓?(V 鏄彉鍏冿紝E 鏄彟涓涓〃杈懼紡)錛屽彉鍏冭嚜鐢卞嚭鐜扮殑嬈℃暟鏄?E 涓彉鍏冭嚜鐢卞嚭鐜扮殑嬈℃暟錛屽噺鍘?E 涓?V 鑷敱鍑虹幇鐨勬鏁般傚洜鑰岋紝E 涓偅浜?V 琚О涓虹粦瀹氬湪 位 涓娿?/li>
  3. 鍦ㄨ〃杈懼紡 (E E' ) 涓紝鍙樺厓鑷敱鍑虹幇鐨勬鏁版槸 E 鍜?E' 涓彉鍏冭嚜鐢卞嚭鐜版鏁頒箣鍜屻?/li>

鍦?lambda 琛ㄨ揪寮忕殑闆嗗悎涓婂畾涔変簡涓涓?a title="絳変環(huán)鍏崇郴">絳変環(huán)鍏崇郴 (鍦ㄦ鐢?== 鏍囨敞)錛屸滀袱涓〃杈懼紡鍏跺疄琛ㄧず鐨勬槸鍚屼竴涓嚱鏁扳濊繖鏍風殑鐩磋鎬у垽鏂嵆鐢辨琛ㄨ堪錛岃繖縐嶇瓑浠峰叧緋繪槸閫氳繃鎵璋撶殑鈥渁lpha-鍙樻崲瑙勫垯鈥濆拰鈥渂eta-娑堣В瑙勫垯鈥濄?/p>


偽-鍙樻崲

Alpha-鍙樻崲瑙勫垯琛ㄨ揪鐨勬槸錛岃緇戝畾鍙橀噺鐨勫悕縐版槸涓嶉噸瑕佺殑銆傛瘮濡傝 位x.x 鍜?位y.y 鏄悓涓涓嚱鏁般傚敖綆″姝わ紝榪欐潯瑙勫垯騫墮潪鍍忓畠鐪嬭搗鏉ヨ繖涔堢畝鍗曪紝鍏充簬琚粦瀹氱殑鍙橀噺鑳藉惁鐢卞彟涓涓浛鎹㈡湁涓緋誨垪鐨勯檺鍒躲?/p>

Alpha-鍙樻崲瑙勫垯闄堣堪鐨勬槸錛岃嫢 V 涓?W 鍧囦負鍙樺厓錛?i>E 鏄竴涓?lambda 琛ㄨ揪寮忥紝鍚屾椂 E[V/W] 鏄寚鎶婅〃杈懼紡 E 涓殑鎵鏈夌殑 V 鐨勮嚜鐢卞嚭鐜伴兘鏇挎崲涓?W錛岄偅涔堝湪 W 涓嶆槸 E 涓殑涓涓嚜鐢卞嚭鐜幫紝涓斿鏋?W 鏇挎崲浜?V錛?i>W 涓嶄細琚?E 涓殑 位 緇戝畾鐨勬儏鍐典笅錛屾湁

V. E == 位 W. E[V/W]

榪欐潯瑙勫垯鍛婅瘔鎴戜滑錛屼緥濡?位 x. (位 x. x) x 榪欐牱鐨勮〃杈懼紡鍜?位 y. (位 x. x) y 鏄竴鏍風殑銆?/p>

尾-娑堣В

Beta-娑堣В瑙勫垯琛ㄨ揪鐨勬槸鍑芥暟浣滅敤鐨勬蹇點傚畠闄堣堪浜嗚嫢鎵鏈夌殑 E' 鐨勮嚜鐢卞嚭鐜板湪 E [V/E' ] 涓粛鐒舵槸鑷敱鐨勬儏鍐典笅錛屾湁

((位 V. E ) E' ) == E [V/E' ]

鎴愮珛銆?/p>

== 鍏崇郴琚畾涔変負婊¤凍涓婅堪涓ゆ潯瑙勫垯鐨勬渶灝忕瓑浠峰叧緋?(鍗沖湪榪欎釜絳変環(huán)鍏崇郴涓噺鍘諱換浣曚竴涓槧灝勶紝瀹冨皢涓嶅啀鏄竴涓瓑浠峰叧緋?銆?/p>

瀵逛笂榪扮瓑浠峰叧緋葷殑涓涓洿鍏鋒搷浣滄х殑瀹氫箟鍙互榪欐牱鑾峰緱錛氬彧鍏佽浠庡乏鑷沖彸鏉ュ簲鐢ㄨ鍒欍備笉鍏佽浠諱綍 beta 娑堣В鐨?lambda 琛ㄨ揪寮忚縐頒負鑼冨紡銆? 騫墮潪鎵鏈夌殑 lambda 琛ㄨ揪寮忛兘瀛樺湪涓庝箣絳変環(huán)鐨勮寖寮忥紝鑻ュ瓨鍦紝鍒欏浜庣浉鍚岀殑褰㈠紡鍙傛暟鍛藉悕鑰岃█鏄敮涓鐨勩傛澶栵紝鏈変竴涓畻娉曠敤鎴瘋綆楄寖寮忥紝涓嶆柇鍦版妸鏈宸﹁竟鐨勫艦寮忓弬鏁版浛鎹負瀹為檯鍙傛暟錛? 鐩村埌鏃犳硶鍐嶄綔浠諱綍鍙兘鐨勬秷瑙d負姝€傝繖涓畻娉曞綋涓斾粎褰?lambda 琛ㄨ揪寮忓瓨鍦ㄤ竴涓寖寮忔椂鎵嶄細鍋滄銆?a class="new" title="Church-Rosser 瀹氱悊">Church-Rosser 瀹氱悊 璇存槑浜嗭紝褰撲笖浠呭綋涓や釜琛ㄨ揪寮忕瓑浠鋒椂錛屽畠浠細鍦ㄥ艦寮忓弬鏁版崲鍚嶅悗寰楀埌鍚屼竴涓寖寮忋?/p>

畏-鍙樻崲

鍓嶄袱鏉¤鍒欎箣鍚庯紝榪樺彲浠ュ姞鍏ョ涓夋潯瑙勫垯錛宔ta-鍙樻崲錛屾潵褰㈡垚涓涓柊鐨勭瓑浠峰叧緋匯侲ta-鍙樻崲琛ㄨ揪鐨勬槸[緙栬緫]

lambda 婕旂畻涓殑榪愮畻

鍦?lambda 婕旂畻涓湁璁稿鏂瑰紡閮藉彲浠ュ畾涔?a title="鑷劧鏁?>鑷劧鏁?/a>錛屼絾鏈甯歌鐨勮繕鏄?a class="new" title="Church 鏁存暟">Church 鏁存暟錛屼笅闈㈡槸瀹冧滑鐨勫畾涔夛細

0 = 位 f. 位 x. x
1 = 位 f. 位 x. f x
2 = 位 f. 位 x. f (f x)
3 = 位 f. 位 x. f (f (f x))

浠ユ綾繪帹銆傜洿瑙傚湴璇達紝lambda 婕旂畻涓殑鏁板瓧 n 灝辨槸涓涓妸鍑芥暟 f 浣滀負鍙傛暟騫朵互 f 鐨?n 嬈″箓涓鴻繑鍥炲肩殑鍑芥暟銆傛崲鍙ヨ瘽璇達紝Church 鏁存暟鏄竴涓?a class="new" title="楂橀樁鍑芥暟">楂橀樁鍑芥暟 -- 浠ュ崟涓鍙傛暟鍑芥暟 f 涓哄弬鏁幫紝榪斿洖鍙︿竴涓崟涓鍙傛暟鐨勫嚱鏁般?/p>

(娉ㄦ剰鍦?Church 鍘熸潵鐨?lambda 婕旂畻涓紝lambda 琛ㄨ揪寮忕殑褰㈠紡鍙傛暟鍦ㄥ嚱鏁頒綋涓嚦灝戝嚭鐜頒竴嬈★紝榪欎嬌寰楁垜浠棤娉曞儚涓婇潰閭f牱瀹氫箟 0) 鍦?Church 鏁存暟瀹氫箟鐨勫熀紜涓婏紝鎴戜滑鍙互瀹氫箟涓涓悗緇у嚱鏁幫紝瀹冧互 n 涓哄弬鏁幫紝榪斿洖 n + 1錛?/p>

SUCC = 位 n. 位 f. 位 x. f (n f x)

鍔犳硶鏄繖鏍峰畾涔夌殑錛?/p>

PLUS = 位 m. 位 n. 位 f. 位 x. m f (n f x)

PLUS 鍙互琚湅浣滀互涓や釜鑷劧鏁頒負鍙傛暟鐨勫嚱鏁幫紝瀹冭繑鍥炵殑涔熸槸涓涓嚜鐒舵暟銆備綘鍙互璇曡瘯楠岃瘉

PLUS 2 3    涓?   5

鏄惁絳変環(huán)銆備箻娉曞彲浠ヨ繖鏍峰畾涔夛細

MULT = 位 m. 位 n. m (PLUS n) 0,

鍗?m 涔樹互 n 絳変簬鍦ㄩ浂鐨勫熀紜涓?n 嬈″姞 m銆傚彟涓縐嶆柟寮忔槸

MULT = 位 m. 位 n. 位 f. m (n f)

姝f暣鏁?n 鐨勫墠椹卞厓 (predecessesor) PRED n = n - 1 瑕佸鏉備竴浜涳細

PRED = 位 n. 位 f. 位 x. n (位 g. 位 h. h (g f)) (位 u. x) (位 u. u)

鎴栬?/p>

PRED = 位 n. n (位 g. 位 k. (g 1) (位 u. PLUS (g k) 1) k) (位 l. 0) 0

娉ㄦ剰 (g 1) (位 u. PLUS (g k) 1) k 琛ㄧず鐨勬槸錛屽綋 g(1) 鏄浂鏃訛紝琛ㄨ揪寮忕殑鍊兼槸 k錛屽惁鍒欐槸 g(k) + 1銆?/p>

閫昏緫涓庢柇璦

涔犳儻涓婏紝涓嬭堪涓や釜瀹氫箟 (縐頒負 Church 甯冨皵鍊? 琚敤浣?TRUE 鍜?FALSE 榪欐牱鐨勫竷?yōu)當鍊鹼細

TRUE = 位 u. 位 v. u
FALSE = 位 u. 位 v. v

鏂█鏄寚榪斿洖甯冨皵鍊肩殑鍑芥暟銆傛渶鍩烘湰鐨勪竴涓柇璦 ISZERO錛屽綋涓斾粎褰撳叾鍙傛暟涓洪浂鏃惰繑鍥炵湡錛?/p>

ISZERO = 位 n. n (位 x. FALSE) TRUE

鏂█鐨勮繍鐢ㄤ笌涓婅堪 TRUE 鍜?FALSE 鐨勫畾涔夛紝浣垮緱 "if-then-else" 榪欑被璇彞寰堝鏄撶敤 lambda 婕旂畻鍐欏嚭銆?/p>

閫掑綊

閫掑綊鏄竴縐嶄互鍑芥暟鑷韓榪唬鑷韓鍙樺厓鐨勭畻娉曪紝涓鑸槸閫氳繃鍑芥暟鑷韓鏉ュ畾涔夊嚱鏁扮殑鏂瑰紡瀹炵幇銆傝〃闈㈢湅鏉?lambda 婕旂畻涓嶅厑璁擱掑綊錛屽叾瀹炶繖鏄竴縐嶅閫掑綊鐨勮瑙c傝冭檻闃朵箻鍑芥暟 f(n) 涓鑸繖鏍烽掑綊鍦板畾涔夛細

f(n) = 1, 鑻?n = 0; nf(n-1), 鑻?n>0.

位璇█錛?/p>

FACT = 位 n. n (位 u. MULT n (FACT (PRED n))) 1

鐢?Y-緇勫悎瀛?鍦?位璇█ 涓悎娉曞湴瀹氫箟錛?/p>

FACT = Y (位 g. 位 n. n (位 u. MULT n (g (PRED n))) 1)
Y = 位 f. ((位 x. f (x x)) (位 x. f (x x)))


JustinLei 2005-10-08 14:49 鍙戣〃璇勮
]]>
主站蜘蛛池模板: vvvv99日韩精品亚洲| 青青青国产免费一夜七次郎| 亚洲国产一区二区视频网站| 亚洲最大天堂无码精品区| 美丽的姑娘免费观看在线播放| 亚洲开心婷婷中文字幕| 国产又黄又爽又大的免费视频| 久99精品视频在线观看婷亚洲片国产一区一级在线| 亚洲国产AV一区二区三区四区| 成人午夜大片免费7777| 国产成人人综合亚洲欧美丁香花 | 亚洲大尺度无码无码专线一区| 妞干网免费观看视频| 春暖花开亚洲性无区一区二区| 亚洲?V乱码久久精品蜜桃| jizz日本免费| 亚洲AV无码一区东京热| 222www免费视频| 亚洲精华国产精华精华液| 免费v片视频在线观看视频| yellow免费网站| 亚洲日本中文字幕区| 毛片基地免费视频a| 在线精品自拍亚洲第一区| 亚洲一本大道无码av天堂| 国产精品99精品久久免费| 亚洲人色大成年网站在线观看| 日韩成人在线免费视频| 国产精品高清免费网站| 亚洲国产高清视频在线观看| 国产精品色午夜免费视频 | 免费无码作爱视频| 亚洲黄色免费观看| 免费无码一区二区三区蜜桃大| 人妻仑乱A级毛片免费看| 无码欧精品亚洲日韩一区| 在线免费观看污网站| 国产免费爽爽视频在线观看| 亚洲人精品亚洲人成在线| 在线观看亚洲精品福利片| 97性无码区免费|