计算理论导引小结.pptVIP

计算理论 引言 什么是计算？ 计算理论的主要内容 自动机理论 计算的数学模型的定义和性质 可计算理论 把问题分成可解的和不可解的 计算复杂性理论 把问题分成容易计算和难以计算的 计算模型—正则语言与有穷自动机 有穷自动机 FA：是一个 5 元组 ( Q, ?, ?, q0, F ) ? : Q???Q 是转移函数。 若 A 是机器 M 接受的全部字符串集，则称 A 是机器 M 的语言，记作 L(M)=A，又称 M 识别 A 或 M 接受 A。 计算模型—正则语言与有穷自动机 正则语言：被一台有穷自动机识别的语言。 正则运算： A∪B 、A?B 、A* 正则语言类的封闭性：并、连接、星运算下封闭。 非确定型有穷自动机 (NFA) 是一个 5 元组 ( Q, ?, ?, q0, F ) ? : Q??ε?P(Q)是转移函数。 DFA机器易算，NFA 人易制造， 通常，人造NFA，让机器把它变成DFA。 当用并行技术去实现时实际上是用NFA。 直观解释：对应于NFA这样的简单并行程序中可以串行化。 计算模型—正则语言与有穷自动机 正则表达式 DFA、NFA、RE都是正则语言的模型。 泵引理 若 A 是一个正则语言，则存在一个数 p (泵长度) 使得，如果 s 是 A 中任一长度不小于 p 的字符串，那么 s 可以被分成 3 段，s = xyz，满足下述条件： (1) 对于每一个 i