大学计算机基础第5章.pptx

第5章计算机问题求解1.可计算理论2.计算的复杂性3.计算机问题求解4.数学建模5.算法的特征与表示6.算法的基本结构7.累计算法8.排序算法9.冒泡排序10.插入排序11.查找算法12.穷举算法13.迭代和递归14.分治策略15.计算机编程语言概述16.程序设计与程序17.高级语言基本特征18.结构化与面向对象程序设计19.Raptor流程图编程20.软件测试的目的与方法21.人工智能概述22.计算机仿真与虚拟现实概述

可计算理论

可计算理论可计算理论研究可计算性，即哪些问题是可计算的。可计算和可判定是等价的函数f(x)是可计算的，假设f(x)=y,那就可以判定f(x)-y=0。

可计算理论希尔伯特第10问题，又称丢番图方程问题是否存在一种有限的，机械的步骤能够判断丢番图方程是否有整数解。a1x1b1+a2x2b2+……+anxnbn=C(a1,a2,……，an,b1,b2,……，bn,C均为整数)费马大定理xn+yn=zn(n2时，方程没有任何整数解)

图灵机“计算机界诺贝尔奖”——图灵奖阿兰?图灵（AlanTuring）“计算机科学的奠基人”、“人工智能之父”英国著名数学家、逻辑学家、密码学家提出了“图灵机”和“图灵测试”

图灵机图灵机是计算机的理论模型，该机器由以下几部分组成：一条两端都可无限延长的被分为一个个小方格的纸带一个有限状态寄存器一个在带子上可以左右移动的读写头一套控制规则……a1a2……ai……an……控制器状态q1

图灵机101*序号状态当前字符改写字符读写头移动新状态1开始**left加2加01left无进位3加10left进位4加blank不移动停机5进位01left无进位6进位10left进位7进位blank1left无进位8无进位00left无进位9无进位11left无进位10无进位blankblank不移动停机101+1=？

图灵机101*序号状态当前字符改写字符读写头移动新状态1开始**left加2加01left无进位3加10left进位4加blank不移动停机5进位01left无进位6进位10left进位7进位blank1left无进位8无进位00left无进位9无进位11left无进位10无进位blankblank不移动停机

图灵机10*序号状态当前字符改写字符读写头移动新状态1开始**left加2加01left无进位3加10left进位4加blank不移动停机5进位01left无进位6进位10left进位7进位blank1left无进位8无进位00left无进位9无进位11left无进位10无进位blankblank不移动停机10

图灵机1*序号状态当前字符改写字符读写头移动新状态1开始**left加2加01left无进位3加10left进位4加blank不移动停机5进位01left无进位6进位10left进位7进位blank1left无进位8无进位00left无进位9无进位11left无进位10无进位blankblank不移动停机010

*图灵机序号状态当前字符改写字符读写头移动新状态1开始**left加2加01left无进位3加10left进位4加blank不移动停机5进位01left无进位6进位10left进位7进位blank1left无进位8无进位00left无进位9无进位11left无进位10无进位blankblank不移动停机110

*图灵机序号状态当前字符改写字符读写头移动新状态1开始**left加2加01left无进位3加10left进位4加blank不移动停机5进位01left无进位6进位10left进位7进位blank1left无进位8无进位00left无进位9无进位11left无进位10无进位blankblank不移动停机110

图灵机图灵机的工作方式及过程准备好输入字符串，读写头指向0号格子，图灵机处于状态q0图灵机开始运行，根据当前状态和读到的字符，找到相应的程序（状态转移函数），根据转移函数，完成以下内容（1）在当前方格上写一个相应的字符（2）变更自身状态至新状态（3）读写头移动3.当图灵机进入状态qaccept，立刻停机接受输入的字符串，当图灵机进入状态qreject，立刻停机并拒绝输入的字符串，图灵机展示了计算的机械过程

图灵机图灵机的数学模型一台图灵机是一个七元组（Q，∑，Γ，δ，q0，qaccept，qreject），Q是有限状态集 ∑是有限输入字符集 （不包含空白符）Γ是有限输入带字符集(包含空白符)δ是状态转移函数(δ(q,x)=(q’,X’,L/R))q0是初始状态 （q0∈Q） qaccept是接收