Part-4--图灵机及其可计算理论.pptVIP

Part 4 图灵机及可计算理论 主讲教师 贺利坚 Part 4 主要内容提示 一、图灵机及形式定义 1、图灵机 2、图灵机的形式定义 3、图灵机接受的语言 图灵机 FA和PDA的局限 FA有有限的存储，只能处理RL PDA用栈提供无限的存储，但栈只能后进先出，PDA只能处理CFL FA和PDA不能用作通用的计算模型 图灵机是通用的计算模型，是计算机的数学模型 图灵在论述“有些数学问题是不可解的”时，提出了图灵机 图灵论题：凡是可计算的函数，都可以用图灵机计算 丘奇论题：任何计算，如果存在一个有效过程，它就能被图灵机实现 提出TM的目的在于: 对有效的计算过程(即算法)进行形式化的描述, 忽略模型的存储容量在内的一些枝节问题, 只考虑算法的基本特征. 图灵提出TM具有以下两个性质 具有有穷描述。 过程必须是由离散的、可以机械执行的步骤组成。 图灵生平 1912年出生，演算能力突出 1931年，进剑桥大学学数学 1936年，提出图灵机模型 1938年，获普灵斯顿大学博士学位 1950年，发表论文“计算机和智能”，提出图灵测试 1951年，成为英皇家学会院士 1954年，不幸去世 Alan Turing(1912-1954) 1912 (23 June): Birth, Paddington, London1926-31: Sherborne School1930: Death