教案计算理论导引总结.pptVIP

计算理论 Theory of Computation 引言 什么是计算？ ξ η 12+3 15 x·x 2x Time flies like an arrow. 时光似箭。 计算就是从一个符号行ξ，在能够具体进行的有限步内求出另一符号行η。 描述和变换信息 计算理论的主要内容 自动机理论 计算的数学模型的定义和性质 可计算理论 把问题分成可解的和不可解的 计算复杂性理论 把问题分成容易计算和难以计算的 计算模型—正则语言与有穷自动机 有穷自动机 FA：是一个 5 元组 ( Q, ?, ?, q0, F ) ? : Q???Q 是转移函数。 若 A 是机器 M 接受的全部字符串集，则称 A 是机器 M 的语言，记作 L(M)=A，又称 M 识别 A 或 M 接受 A。 L(M) = { w | w 至少一个 1 并且在最后的 1 后面有偶数个 0 } q1 q2 q3 1 0 0,1 0 1 M = ( {q1, q2 , q3} , {0,1} , ?, q1, q2 ) 计算模型—正则语言与有穷自动机