计算理论与计算模型.pptVIP

一、图灵机1.直观描述①图灵机的计算装置：一条两端可无限延长的带子，一个读写头，一组控制指令。┄bb10100010bb┄状态q1读写头控制指令读写头可以沿带子方向左右移动，并可以在每个方格上进行读写。2.3计算模型*第29页，共48页，星期日，2025年，2月5日②带子上的符号为一个有穷字母表：{S0,S1,S2,¨¨,Sp}通常仅有S0、S1两个字符，其中：S0→0，S1→1这可加深对布尔值、二进制机器的理解。③机器的控制状态：{q1,q2,¨,qn}图灵机的初始状态设为q1,结束状态设为qn2.3计算模型*第30页，共48页，星期日，2025年，2月5日④五元组指令集合：(qiSjSkR(LN)qn)qi--机器目前所处的状态

Sj--机器从方格中读入的符号

Sk--机器用来代替Sj写入方格的符号

R,L,N--右移一格,左移一格,不移动

qn--下一步机器的状态一个给定机器的程序是机器内的五元组形式的指令集，它定义了机器在特定状态下读入一个特定字符时所采取的动作。2.3计算模型*第31页，共48页，星期日，2025年，2月5日2.工作原理机器从给定带子上的某起点出发，其动作完全由其初始状态值及机内五元组指令集来决定。计算结果是从机器停止时带子上的信息得到。指令死循环：q1S2S2Rq3q3S3S3Lq1指令二义性：q3S2S2Rq4q3S2S4Lq62.3计算模型*第32页，共48页，星期日，2025年，2月5日3.应用实例[例]假设：b表示空格q1表示机器的初始状态q4表示机器的结束状态如果带子上的输入信息读写头位对准最右边第一个为0的方格，且状态为q1。按照以下五元组指令集执行后，输出正确的计算结果是什么？2.3计算模型*第33页，共48页，星期日，2025年，2月5日指令集q101Lq2q110Lq3q1bbNq4q200Lq2q211Lq2q2bbNq4q301Lq2q310Lq3q3bbNq4计算函数是：S(x)=x+1bb10100010bb……q1bb11000101bb……q11q21q20q20q20q21q20q21q2bq42.3计算模型*第34页，共48页，星期日，2025年，2月5日[例]图灵机Mz：其中Q={q1,q2,qf}五元组指令集为：q110Rq1q100Lq2q201Nqf求Mz对任何一串“1”的作用是什么？bb11111100bb……q1仅留下最后一个“1”2.3计算模型*第35页，共48页，星期日，2025年，2月5日计算理论计算模型计算理论与计算模型*第1页，共48页，星期日，2025年，2月5日一、计数与计算手指、石头、结绳计数，算筹计算2.1计算的几种视角圆周率:10万亿位*第2页，共48页，星期日，2025年，2月5日许多计算领域的求解问题，如计算物理学、计算力学、计算化学和计算经济学等都可以归结为数值计算问题，而数值计算方法是一门与计算机应用紧密结合的、实用性很强的数学课程。2.1计算的几种视角如对气象资料的汇总、加工并生成天气图像，其计算量大且时限性强，要求计算机能够进行高速运算，以便对天气做出短期或中期的预报。科学计算的过程：实际问题数学模型计算方法程序设计计算结果*第3页，共48页，星期日，2025年，2月5日二、逻辑与计算2.1计算的几种视角逻辑学有三大源泉：①以亚里士多德的词项逻辑和斯多亚学派的命题逻辑为代表的古希腊逻辑。②以先秦名辩学为代表的古中国逻辑。③以正理论和因明学为代表的古印度逻辑。逻辑是研究推理的学科，人们可以把推理看成是对符号的操作，即符号演算。利用数学方法来研究推理的规律称为数理逻辑。为什么要研究数理逻辑呢？我们知道要使用计算机，就要有程序。程序＝算法＋数据结构，而算法＝逻辑＋控制*