算法图灵机及可计算性理论.pptVIP

图灵机与可计算性理论 图灵对计算本质的揭示 在哥德尔研究成果的影响下20世纪30年代后期, 图灵(A.M. Turing)从计算一个数的一般过 程入手对计算的本质进行了研究,从而实现了 对计算本质的真正认识。 根据图灵的研究,直观地说,所谓计算就 是计算者(人或机器)对一条两端可无限延长 的纸带上的一串0和1执行指令,一步一步地改 变纸带上的0或1,经过有限步骤,最后得到 个满足预先规定的符号串的变换过程。图灵用 形式化方法成功表述可计算这一过程的本质。 图灵机( Turing Machine 有限状态控制器 读写头 10BI0100B011001B e。。。。 当图灵机的读写头扫描到一个格的字符时,根据控制器 的当前状态和扫描到的字符,决定图灵机的动作。包括3 方面 (1)控制器进行状态转换(决定下一状态); (2)读写头在当前格写上新的字符; (3)决定读写头向左或向右移动一格 图灵机( Turing machine) 个6元组ZM=(Q,4,C,,B,q0) g:非空的有穷的状态集合 A:输入字母表,AcC-{B} C:非空的有限字符集 B:空白符 qo:初始状态,q。∈Q δ:C→CU江,R})×O的部分数 图灵机( Turing Machine) TM运行由O确定:当前状态为q,所读字符为s 6(g,s)=(s;q),读写头不变,S→S,q→q δ(q,s)=(L