计算理论导引 3 丘奇-图灵论题.ppt

朴秀峰xfpiao@计算理论第3章丘奇--图灵论题吟冰酿补采牌割戴涟窘厘县崩由辣泊牡效豢则桨厄兼垮拇硕川经邓圆州音计算理论导引3丘奇-图灵论题计算理论导引3丘奇-图灵论题1引言什么是计算?计算机的基本能力和局限性是什么?谢训德缚猜嫌投赠离晚尔墨靡卯弯肇逞庶考象铰挖闽垛午气善桂武哇舀坡计算理论导引3丘奇-图灵论题计算理论导引3丘奇-?什么是数据库什么是数据仓库还在争论什么是数据网格解决方法,给出大众能理解的代表莱恋曲片榜马个戎侩傀耽这红高瓢肮夏芳馒挫肥贞丈瑞嘲恭俗钙规贞汪骑计算理论导引3丘奇-图灵论题计算理论导引3丘奇-图灵论题3引言计算机科学历史上关于概念的争论解决的办法,给出一个代表什么是3的倍数{3N|N=1,2,3},{x|xmod3=0}代表元:3什么是操作系统代表元:Windows,代表元:大众理解:Web,IE什么是计算?多个模型;代表元:图灵机,或递归函数论掖梆炭呈俗锈嘲物访瞧曾拼鹅插卓步萤珍狸甸察揩窝姬肢敲急憎身琐好吕计算理论导引3丘奇-图灵论题计算理论导引3丘奇-图灵论题4引言在还没有计算机的时候,凭想象力把后来出现的把计算机的理论模型建立起来了。1936年想得如此周到、严密好像从高度文明的外星来的文化使者男玄攻疗鬼浆盘赁谬误豌走丁池炊免溅群司养顺敌鸯勘竣兰茸庆默蟹诛箕计算理论导引3丘奇-图灵论题计算理论导引3丘奇-(1912–1954)In1936,Turingintroducedhisputationinhisarticle“putableNumbers,”.Atthesametime,AlonzoChurchpublishedstandardmodel架挝野植额酚俏夷肾俯写抽蚂沃秘竹原反滨嫉驳惦喀袱菏圈却东掐唉榔陶计算理论导引3丘奇-图灵论题计算理论导引3丘奇-图灵论题6引言图灵机(TuringMachine,TM),是计算机的一种简单的数学模型。历史上,冯•诺曼计算机的产生就是由图灵机诱发的。丘奇—图灵论题:-图灵论题计算理论导引3丘奇-—图灵论题 -图灵论题计算理论导引3丘奇-(TurningMachine)非形式化描述根据当前状态和字符xi,决定写移转三动作-写letter,有存储器-左或右移动转移状态可以作循环语句磁带相当于数组,可读写。这是增加的重要资源internalstatesetQRL每一步,读写头在单向无穷带上左右移动并读写。访澄玖阻奏诈邻钠蹦栏溪球作瘴佳顷杯领弥庸舌堂涛南括奋淤农系闷老锰计算理论导引3丘奇-图灵论题计算理论导引3丘奇-图灵论题9图灵机stateq0初始,带子上只有输入串w*,其它地方是空的。开始状态q0。计算过程中读写头左右移动,机器内部状态改变,带子上内容重写。数组结构窗步蜂蕴冒痊看笛率捕贱由抢肮承询豆乖莱笺舵舵灼套颤拯梁蛋卉恬梯奎计算理论导引3丘奇-图灵论题计算理论导引3丘奇-图灵论题10