图灵机的思想与模型简介.docxVIP

冯■诺依曼计机器级程序及其执行 2.2.1图灵机的思想与模型简介 图灵机的思想与模型简介 …-图灵的贡献 …■图灵机：计算机的理论模型-…指令、数据、程序与程序执行 图灵是谁？ 图灵及其贡献 ?图灵(Alan Turing, 1912~1954),出生于英国伦敦，19岁入 剑桥皇家学院，22岁当选为皇家学会会员。 1937年，发表了论文《论可计算数及其在判定问题中的应 用》，提出了图灵机模型，后来，冯?诺依曼根据这个模型设 计出历史上第一台电子计算机。 1950年，发表了划时代的文章：《机器能思考吗?》，成为了人 工智能的开山之作。 ?计算机界于1966年设立了最高荣誉奖：ACM图灵奖。 你能査阅一下哪些人获得图灵奖了吗? 因为什么贡献而获奖呢？ 图灵认为什么是计算? 计算 计算 ?所谓计算就是计算者（人或机器）对一条两端可无限延长的纸带上的一串 0或1,执行指令一步一步地改变纸带上的0或1,经过有限步骤最后得到 一个满足预先规定的符号串的变换过程。 I22I0 I22I0 图灵机的思想 是关于数据、指令、程序及程序/指令自动执行的基本思想。 如00010000100011 ?-?输入被制成一串0和1的纸带，送入机器中… 如00010000100011 ?- ?机器可对输入纸带执行的基本动作包括：“翻转0为T ,或“翻转1为0” , “前移一 位”停止” O ?对基本动作的控制…?指令，机器是按照指令的控制选择执行哪一个动作，指令也可以 用0和1来表示：01表示“翻转0为1”（当输入为1时不变），10表示“翻转1为0”（当输入0时 不变），11表示“前移一位”，00表示“停止” o ?输入如何变为输出的控制可以用指令编写一个程序来完成，如：01 10110111011-00 - OOO?机器能够读取程序，按程序中的指令顺序读取指令, 读一条指令执行一条指令。由此实现自动计算。 O O O 图灵机是什么？ 图灵机模型?基本的图灵机模型为一个七元组，如右图示意 图灵机模型 ?几点结论： ?（1）图灵机是一种思想模型，它由一个控制器（有 限状态转换器），一条可无限延伸的带子和一个在 带子上左右移动的读写头构成。 4（冲,阪酬） 帥 ?Q啾态的有濮合_ 血:fffeO 紐縣集合 r:麹号表 8：空們 E：输入字毎表 百:移动豳.（1）:瓯X）二⑦,殆表示1葩狀态”埶符號钢疑改为p, 并在这个晰甜带方帥串輪号诚锚軼向撼动—格.（2）:牝 4（冲,阪酬） 帥 ? Q啾态的有濮合_ 血:fffeO 紐縣集合 r:麹号表 8：空們 E：输入字毎表 百:移动豳.（1）:瓯X）二⑦,殆表示1葩狀态”埶符號钢疑改为p, 并在这个晰甜带方帥串輪号诚锚軼向撼动—格. （2）:牝Q二加隔M在肠肿号渤态畅” 并在这个雄的带方帥印购号Y緒缺向左移动—格. 图灵机模型示例 O （注:圆圈内的是状态，箭线上的是 vX,Y,R,其含义见前页） 0 0 1 1 1 1 0 0 0 (SiQORSJ (SJJRSJ (S2,1,1,R,S2) (S2,0,1,L,S3) (S3,1,1,L,S3) (S3O0NS4) 0 0 1 1 1 1 0 0 0 控制器 (S2J ,R,S2) 0 0 1 1 1 1 0 0 0 执行过程 OO1111OOO s1：开始状态 S2:右移状态 s3：左移状态 S4：停机状态 0 0 1 1 1 1 0 0 0 (S3,1,1,L,S3) 0 0 1 1 1 1 1 0 0 (82,0,1 丄，S3) (S351O5O5N5S4) 功能：将一串1的后面再加一位*1 0 0 111110 0 几点结论（续）: ?⑶图灵机模型被认为是计算机的基本理论模型 …■计算机是使用相应的程序来完成任何设定好的任务。图灵机是一种离散的、有 穷的、构造性的问题求解思路，一个问题的求解可以通过构造其图灵机（即程 序）来解决。 ?⑷图灵认为：凡是能用算法方法解决的问题也一定能用图灵机解决；凡是 图灵机解决不了的问题任何算法也解决不了?…图灵可计算性问题。 谢谢观看! 过三第一组全体成员!