孤 島 書 城

纸书新书文集文学小说

娱乐青春社科玄幻网热


作品介绍

计算理论导引


作者:[美]MichaelSipser  日期:2016-12-27 12:49:59




  本书是计算理论领域的经典著作,被国外多所大学选用为教材。本书以注重思路、深入引导为特色,系统地介绍计算理论的三大主要内容:自动机与语言、可计算性理论和计算复杂性理论。同时,对可计算性和计算复杂性理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答,更加有利于教学。
  全书叙述由浅入深、详略得当,重点突出,不拘泥于技术细节。可作为计算机专业高年级本科生和研究生的教材,也可作为相关专业教师和研究人员的参考书。

目录:
  出版者的话
  专家指导委员会
  译者序
  译者简介
  第1版前言
  第2版前言
  第0章 绪论
  0.1 自动机、可计算性与复杂性
  0.2 数学概念和术语
  0.3 定义、定理和证明
  0.4 证明的类型
  练习
  问题
  习题选解
  第一部分 自动机与语言
  第1章 正则语言
  1.1 有穷自动机
  1.2 非确定性
  1.3 正则表达式
  1.4 非正则语言
  练习
  问题
  习题选解
  第2章 上下文无关文法
  2.1 上下文无关文法概述
  2.2 下推自动机
  2.3 非上下文无关语言
  练习
  问题
  习题选解
  第二部分 可计算性理论
  第3章 丘奇-图灵论题
  3.1 图灵机
  3.2 图灵机的变形
  3.3 算法的定义
  练习
  问题
  习题选解
  第4章 可判定性
  4.1 可判定性
  4.2 停机问题
  练习
  问题
  习题选解
  第5章 可归约性
  5.1 语言理论中的不可判定问题
  5.2 一个简单的不可判定问题
  5.3 映射可归约性
  练习
  问题
  习题选解
  第6章 可计算性理论的高级专题
  6.1 递归定理
  6.2 逻辑理论的可判定性
  6.3 图灵可归约性
  ……




八字精批2025运势命中贵人八字合婚
闂傚倸鍊搁崐鎼佸磹閹间礁纾瑰瀣捣閻棗銆掑锝呬壕閻庤娲忛崕鎶藉焵椤掑﹦绉甸柛鐘愁殜瀹曟洟骞嬮悩鍐叉瀾闂佺粯顨呴悧鍡欑箔閹烘梻妫柟顖嗗嫬浠撮梺鍝勭灱閸犲酣鍩㈤幘璇插瀭妞ゆ梻鏅禍鍓х磽閸屾瑨鍏屽┑顔炬暬瀵濡搁埞閿亾閿曞倸閿ゆ俊銈勭濞堟繈姊婚崒姘卞缂佸鍨块敐鐐差吋婢跺鎷洪梺纭呭亹閸嬫盯鍩€椤掍焦绀堥柍褜鍓氶惌顕€宕¢崘宸殨濠电姵纰嶉崑鍕偠濞戞巻鍋撻崗鍛棜婵犵數鍋為崹鍫曨敂椤忓牜鏁傞柛鈩冪懅閻e爼鎮峰⿰鍕棃鐎殿喖顭烽弫鎰緞鐎n亙绨婚梻浣告啞缁嬫垿鏁冮妶鍥ь棜闁规儼濮ら崐鍨箾閸繄浠㈤柡瀣洴閺岋綁寮借閸嬨垺顨ラ悙鎻掓殭闁宠閰i獮瀣棘婢剁ǹ顥氭繝鐢靛仦閸ㄥ爼鎮烽敍鍕=婵﹩鍎ぐ鎺撳亗閹肩补妲呮导鈧紓鍌欐祰妞存悂骞愭繝姘闁告侗鍠氶々鐑芥倵閿濆簼绨奸柟铏懅缁辨捇宕掑▎鎰偘濡炪倖娉﹂崨顏勪壕婵﹩鍋勫畵鍡涙煟濞戝崬鏋︾紒鐘崇☉閳藉鈻庤箛搴㈢潖闂傚倷娴囬崑鎰板煕閸儱绀堟慨姗嗗厴閺嬫梹绻濋棃娑欑煑缂佽妫欓妵鍕箛鐠鸿櫣妲i梺鍝勬鐢繝寮婚妶鍥e亾閸︻厼孝闁绘挻鍔楃槐鎺戠暆閸曨亝鍠氶梺璇″枟缁矁鐏掗梺鍏肩ゴ閺呪晠宕惔銊︹拻濞达絿鎳撻婊呯磼鐠囨彃鈧潡鐛繝鍛杸闁哄洨濮烽悞濂告倵閸忓浜鹃梺鍛婃处閸撴盯宕㈤柆宥嗏拺閻熸瑥瀚崝銈嗐亜閺囥劌骞樼紒顔碱煼閹瑩骞栭鐕佸晬闂備胶绮崝鏍亹閸愵喖姹查柨婵嗘-濞堜粙鏌i幇顓犲弨闁告瑥瀚伴弻鐔虹矙閸栤剝鏁鹃悗鍨緲鐎氼剟鎮惧┑鍥╃瘈闁告劕鍟换鍌炲煘閹达附鏅柛鏇ㄥ亗閺夘參姊虹粙鍖℃敾闁绘濮撮悾鐤亹閹烘挸浜楅柟鐓庣摠钃遍柣蹇撳暣濮婃椽宕崟顒€鍋嶉梺鎼炲妽濡炶棄鐣烽悽纰樺亾閿濆骸澧柛鐘冲姍閺岋絽螖閳ь剟鎮ч崱娆戠當婵ǹ鍩栭悡鐔兼煙閹呮憼缂佲偓閸愵亞纾肩紓浣贯缚濞插鈧娲栧畷顒冪亙闂佸憡鍔︽禍鍫曞船閻戞ḿ绡€闁汇垽娼ф禒婊堟煟濡や焦灏扮紒鍌氱Ч瀹曞ジ寮撮悙鑸垫啺闁诲骸绠嶉崕閬嶆偋濠婂喚鐎堕柕濞炬櫆閳锋垿鏌涘☉姗堟敾閻忓浚浜弻娑㈠籍閳ь剟宕归崸妤佸仒妞ゆ棁娉曢悿鈧┑鐐村灦閻燂箑鈻嶉姀銈嗏拺閻犳亽鍔屽▍鎰版煙閸戙倖瀚�闂傚倸鍊搁崐鎼佸磹閹间礁纾瑰瀣捣閻棗銆掑锝呬壕濡ょ姷鍋涢ˇ鐢稿极瀹ュ绀嬫い鎺嶇劍椤斿洭姊绘担绋挎毐闁圭⒈鍋婇獮濠冩償閿濆拋妫滈柣鐘叉处缁佹挳寮ㄦ禒瀣厽婵☆垵顕х徊濠氭煃瑜滈崜娑㈠极鐠囧樊鍤曠紒瀣儥閸氬顭跨捄渚剰闁逞屽墮閻栧ジ寮婚敐澶婄疀妞ゆ挾鍋熺粊鐑芥⒑閹惰姤鏁辨俊顐㈠暣瀵顓奸崶鈺冿紲濠碘槅鍨靛畷鐢杆囨导瀛樷拺闁告繂瀚~锕傛煕閺冣偓閸ㄧ敻顢氶敐澶婄妞ゆ棁妫勯埀顒傚厴濡懘顢曢銏犵闂佽桨鐒﹂悧妤冩崲濠靛鍋ㄩ梻鍫熺◥閸濇姊虹憴鍕仧濞存粠浜悰顔跨疀濞戞瑦娅㈤梺璺ㄥ櫐閹凤拷闂傚倸鍊搁崐鎼佸磹閹间礁纾归柣鎴eГ閸ゅ嫰鏌涢锝嗙缁炬儳顭烽弻鏇熺箾閻愵剚鐝旂紒鐐劤濞硷繝寮婚妶鍥ф瀳闁告鍋涢~顏堟倵鐟欏嫭绀冮柣鎿勭節瀵鈽夊Ο鍏兼畷闂侀€炲苯澧寸€规洘鍨块幃娆撳传閸曨偅鍎梻浣筋潐婢瑰棙鏅跺Δ鍛亗闁绘柨鍚嬮悡娑㈡煕閹扳晛濡奸柍褜鍓欓幗婊堝极椤曗偓瀹曟粍鎷呴搹鐧哥床闂備線鈧偛鑻晶瀵糕偓瑙勬礃鐢繝骞冨▎鎴斿亾閻㈢櫥鐟邦嚕娴煎瓨鈷掑┑鐘查娴滄粍绻涢弶鎴濐伀鐎垫澘锕幊鐐哄Ψ瑜滃ú绋库攽閻樼粯娑фい鎴濇閹€斥槈閵忥紕鍘遍梺鏂ユ櫅閸犳艾鈻撳Ο渚唵鐟滄繄绮婚幘璇茶摕闁挎稑瀚▽顏堟偣閸ャ劌绲绘い顒€鐗撳铏光偓鍦У椤ュ銇勯敂璇茬仴闁诲繑甯楃换娑㈠箻閺夋垵姣堥梺鎼炲姂娴滃爼銆佸▎鎾崇妞ゆ牗绋堥幏缁樼箾鏉堝墽鍒伴柟璇х節瀹曨垶鎮欑€涙ê寮挎繝鐢靛Т閸嬪棝鎮¢懖鈹惧亾鐟欏嫭纾婚柛妤€鍟块锝夊磹閻曚焦鞋闂備礁鎼Λ瀵哥不閹捐钃熼柕濞垮劗閺€浠嬫煕閳╁啞缂氭い锕備憾濮婅櫣绮欏▎鎯у壉闂佸湱鎳撳ú顓烆嚕椤愶箑绠涙い鎾跺枎閸斿懎鈹戦悩缁樻锭闁绘锕鏌ュ礂閼测晝鐦堥梺姹囧灲濞佳勭濠婂牊鐓熸俊銈勭婵洭鏌嶇拠鑼ч柡浣瑰姍瀹曞爼鈥﹂幋鐐电◥闂傚倷娴囬~澶愬磿閹惰姤鍋ら柕濠忕畱閸ㄦ棃鏌熺紒銏犳灍闁绘挻娲熼弻銊╁籍閸ヨ泛娈Δ鐘靛仦椤ㄥ﹪寮诲☉銏℃櫜閹肩补鈧磭鐫勬繝娈垮枛閿曘劌鈻嶉敐鍥у灊婵炲棗绻嗛弸搴ㄦ煙椤栧棗鍟ˉ宥囩磽閸屾艾鈧绮堟笟鈧棟闂侇剙绉寸粻鐘绘煙閸撗呭笡闁稿鏅濋埀顒傛嚀鐎氫即宕戞繝鍌栫細闁冲搫鎳忛崑锝夋煕濠靛棗顏柟顖氱墦閺屻倝寮堕幐搴′淮濠殿喖锕ュ钘夌暦椤愶箑绀嬫い鎺嗗亾闁稿绉瑰娲箹閻愭彃顬堝銈庡幖閸㈡煡鎮鹃悜鑺ユ櫜濠㈣泛锕﹂悿鈧俊鐐€栭崹鍏兼叏閵堝妫橀柍褜鍓氭穱濠囨倷椤忓嫧鍋撻弽褜娼栧┑鐘宠壘閻ょ偓銇勯幇鈺佲偓妤冨閼恒儲鍙忔俊顖氱仢閻撴劙鏌i幘瀛樼闁宠鍨块幃鈺呭箵閹烘挻顔夐柣搴ゎ潐濞叉牠鎯夋總绋跨劦妞ゆ帒鍠氬ḿ鎰箾閸欏缂氶柟骞垮灲瀹曞ジ濡烽妷褏鏆梻渚€娼х换鍫ュ磹閺嶎厼纾婚柛灞句緱濞堜粙鏌i幋婵囶棞闁告ḿ鏁婚弻娑欐償閿濆棙姣堥悗娈垮枦椤曆囧煡婢跺⿴娼╂い鎰剁到婵即姊绘担鍛婂暈闁圭ǹ妫濆畷銊╊敍濞戞瑯鍟屽┑鐘殿暜缁辨洟宕戦幋锕€纾归柡鍥╁У瀹曟煡鏌熼悜姗嗘當缂佹劖顨婇獮鏍庨鈧俊濂告煟閹绢垪鍋撻幇浣哄數闂佸吋鎮傚ḿ褎鎱ㄩ崶鈺冪<闁绘ê妯婇悡濂告煛瀹€鈧崰鎰版晬閹邦厽濯村〒姘煎灡琚﹂梻鍌欑閹诧繝骞戦崶锌缂氱憸鏃堝春閻愬搫绠i柨鏃囨閳ь剛鍏橀幃妤€鈽夊▎瀣窗缂備礁顑呭ú銈夊煘閹达附鍊烽柛娆忣槴閺嬫瑩姊洪崨濞掝亪濡堕幖浣哥畺濡わ絽鍟崐濠氭煢濡警妯堟繛鐓庯躬濮婃椽宕橀懠顑块偗闂佸搫鎳忕粙鎺旂矉瀹ュ棎鍋呴柛鎰ㄦ櫇閸欏棗鈹戦悩缁樻锭婵☆偅绻堥、鎾澄旈埀顒勨€﹂懗顖fЪ婵犮垻鎳撳Λ娑樜i幇鏉跨闁规儳顕粔鍫曟⒑闂堟胆褰掑磿闁秴绠洪柣銏犳啞閳锋垿鏌涘┑鍡楊仾婵犫偓娴煎瓨鐓熼柍鍝勶工閻忕姵銇勯弴顏嗙М鐎规洘鍔欓幃銈嗘媴閸撴劦浜缁樼瑹閳ь剙岣块懡銈呯筏闁秆勵殔绾惧潡鏌曢崼婵囧鐎规洖寮剁换婵嬫濞戝崬鍓伴梺缁樺笒閻忔岸濡甸崟顖氱鐎广儱娲ゆ俊鑺ョ節濞堝灝鐏¢柟鍛婂▕楠炲啰鎹勭悰鈩冾潔闂佺懓鎼Λ妤佺妤e啯鐓曢煫鍥ㄦ尰閸h銇勯妷锕€鍝烘慨濠傤煼瀹曟帒顫濋钘変壕闁归棿鐒﹂崑瀣攽閻樻彃顏柣顓熺懇閺岀喖鎮滃鍡橆€夋繝銏e煐閸旀牠宕戦幇顔剧=濞达綀鐤紓姘舵煕濡湱鐭欐慨濠冩そ瀹曨偊宕熼澶屽█閺屾盯寮崸妤€寮伴梺璇″灠閻倿鐛幒鎳虫梹鎷呴崫鍕婵犵數鍋犻幓顏嗗緤娴犲绠烘繝濠傛閳ь剚娼欓埞鎴︽倷瀹割喖娈舵繝娈垮灠椤曨厾鍒掓繝姘閻犲洩灏欓悿鍥⒑缂佹ê濮囬柟纰卞亜閺侇噣姊绘笟鈧ḿ褔藝椤撱垹鍨傞悷娆忓椤╂彃螖閿濆懎鏆為柍閿嬪灦閵囧嫰骞掗崱妞惧缂傚倷绀侀ˇ閬嶅极婵犳艾绠栭柍銉︽灱濡插牊鎱ㄥ鍫㈠埌濞存粎鍋撻〃銉╂倷閼碱兛铏庨梺鍛婃⒐瀹€鎼佸蓟閻旂厧绀冮柡灞诲労閳ь剚顨婂畷锟犲础閻愨晜鏂€闂佺粯锚绾绢參銆傞弻銉︾厽闁规儳鐡ㄧ粈鍐磼缂佹ḿ娲寸€规洏鍔戦弻鍥晝閳ь剙鈻撻銏♀拺闁告縿鍎遍弸鏂库攽閻愨晛浜鹃柣搴㈩問閸犳骞冮崒姘煎殨濞寸姴顑愰弫鍥煟閺傛寧鎯堥悽顖涘劤閳规垿鎮╅崹顐f瘎闂佺ǹ顑囬崰鏍х暦閹达箑绠婚悹鍥ㄧ叀濡攱绻涚€电ǹ甯堕柣掳鍔戦幃锟犲即閵忊€斥偓鐢告煥濠靛棝顎楀ù婊勭箘閳ь剝顫夊ú鏍儗閸岀偛钃熼柍鈺佸暞婵挳鎮峰▎蹇擃仼缁剧偓濞婂鐑樻姜閹殿喖濡介梺鍦嚀濞差厼顕i锕€绠荤紓浣股戝▍銏ゆ⒑鐠恒劌娅愰柟鍑ゆ嫹闂傚倸鍊搁崐鎼佸磹閹间礁纾瑰瀣捣閻棗銆掑锝呬壕濡ょ姷鍋涢ˇ鐢稿极瀹ュ绀嬫い鎺嶇劍椤斿洭姊绘担绋挎毐闁圭⒈鍋婇獮濠冩償閿濆拋妫滈柣鐘叉处缁佹挳寮ㄦ禒瀣厽婵☆垵顕х徊濠氭煃瑜滈崜娑㈠极鐠囧樊鍤曠紒瀣儥閸氬顭跨捄渚剰闁逞屽墮閻栧ジ寮婚敐澶婄疀妞ゆ挾鍋熺粊鐑芥⒑閹惰姤鏁辨俊顐㈠暣瀵顓奸崶鈺冿紲濠碘槅鍨靛畷鐢杆囨导瀛樷拺闁告繂瀚~锕傛煕閺冣偓閸ㄧ敻顢氶敐澶婄妞ゆ棁妫勯埀顒傚厴濡懘顢曢銏犵闂佽桨鐒﹂悧妤冩崲濠靛鍋ㄩ梻鍫熺◥閸濇姊虹憴鍕仧濞存粠浜悰顔跨疀濞戞瑦娅㈤梺璺ㄥ櫐閹凤拷闂傚倸鍊搁崐鎼佸磹閹间礁纾归柣鎴eГ閸ゅ嫰鏌涢锝嗙缁炬儳顭烽弻鏇熺箾閻愵剚鐝旂紒鐐劤濞硷繝寮婚妶鍥ф瀳闁告鍋涢~顏堟倵鐟欏嫭绀冮柣鎿勭節瀵鎮㈤崗鑲╁姺闂佹寧娲嶉崑鎾绘煛鐎n剙鏋戦柕鍥у椤㈡洟鏁愰崱娆樻О缂傚倷鑳剁划顖滄崲閸惊娑㈠礃閵娿垺顫嶉梺鍛婎殘閸嬫稒绔熼崼銉︹拻濞达綀娅g敮娑㈡煕閺冣偓濞茬喖寮崘顕呮晜闁割偅绻嗛幗鏇㈡⒑閹稿海绠撴い锔诲灣缁鈽夊▎宥勭盎闂佺懓鎼粔鐑筋敊婢舵劖鐓涢悗锝庡亞閹冲啴鏌嶇憴鍕伌闁糕晛瀚板畷姗€濡歌閵堥攱淇婇悙顏勨偓銈夊储妤e啫绀傛俊顖欒閸ゆ洟鎮归崶褎鈻曢柛姘儏椤法鎹勬總鏂ょ節婵℃悂鍩¢崒婊冨汲闂備礁鎼崐鎼佹倶濠靛鐓曢柡鍐ㄧ墛閻撶喖鏌熼幆褍鏆辨い蹇e弮閺岀喖顢欓幐搴c€愬銈庡亝缁诲牓銆佸鈧幃鈺呭礃閸欏褰撮梻鍌氬€风粈渚€骞栭锕€瀚夋い鎺戝€婚惌娆撴煙鏉堝墽鎮煎ù婊嗘閳规垿鎮欑€涙ê闉嶉梺鍛婂灥缂嶅﹤鐣风憴鍕嚤闁哄鍨归ˇ顓熺箾鐎电ǹ甯堕柣掳鍔戦崺娑㈠箣濠㈡繂缍婂畷妤呮嚃閳哄倸娅氭繝纰夌磿閾忓酣宕抽敐澶婅摕婵炴垯鍨规儫闂侀潧顧€缁犳垶绂掗弶鎳虫棃鎮╅棃娑楃捕濠碘槅鍋呴〃濠囥€佸Ο鑽ら檮缂佸鐏濋懓鍨攽閳藉棗鐏熼悹鈧敃鍌氱劦妞ゆ帊鐒︾亸顓㈡煃鐟欏嫬鐏撮柟顔界懅閳ь剚绋掑玻璺ㄧ矙閸パ屾富闁靛牆妫楅悘銉╂煙閸愯尙绠崇紒顔碱儏椤撳吋寰勭€n亖鍋撻柨瀣ㄤ簻闁圭儤鍨甸埀顒€顭烽幆渚€宕奸妷锔规嫽闂佺ǹ鏈銊︽櫠濞戞氨纾奸悗锝庡亜濞搭噣鎸婇悢鍝ョ瘈濠电姴鍊归崳鐣岀棯閸撗冨付闁靛棙甯掗~婵嬵敆娴h鍊锋繝鐢靛仜閹冲海绮旇ぐ鎺戣摕闁挎稑瀚▽顏堟煕閹炬せ鍋撴俊鎻掔墦濮婅櫣鈧湱濯崵娆徫旈悩宕囨憙闁诲繑甯″娲箚瑜忕粻濠氭煃瑜滈崜姘辩矙閹捐绠查柡鍥ュ灪閳锋帡鏌涚仦鍓ф噮缂佹劖妫冮弻宥堫檨闁告挻鐩畷鎴濃槈閵忊€虫濡炪倖鐗楃粙鎺戔枍閻樺弬鏃堟晲閸涱厽娈查梺缁樻尰閻熲晠寮诲☉銏犵婵炲棗绻嗛崑鎾诲冀椤愮喎浜炬慨妯煎亾鐎氾拷


阅读提示:计算理论导引的作者是[美]MichaelSipser,全书语言优美,行文流畅,内容丰富生动引人入胜。为表示对作者的支持,建议在阅读电子书的同时,购买纸质书。

计算理论导引下载地址

上一本:
下一本:代码大全

经典文集

历届诺贝尔文学奖获奖作家作品
21世纪年度最佳外国小说
阎连科作品集
世界文学经典名篇
中国现代诗人诗集精选集
经典言情小说作家作品集
历届茅盾文学奖获奖作品
中国经典文学作品精选
莫言作品全集
金庸武侠小说全集
世界十大文学名著
中国古典十大名著
死活读不下去的十本书
世界短篇小说精华作品
刘震云作品集

孤岛书城 ◎ 版权所有