计算理论与导引总结 .ppt

计算理论 引言 什么是计算？ 计算理论的主要内容 自动机理论 计算的数学模型的定义和性质 可计算理论 把问题分成可解的和不可解的 计算复杂性理论 把问题分成容易计算和难以计算的 计算模型—正则语言与有穷自动机 有穷自动机 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 ? 0, xyiz∈A (2) | y | ? 0 (3) | xy | ≤ p 计算模型—上下文无关文法 上下文无关文法：是一个 4 元组 ( V, ? , R, S ) (1) V 是一个有穷集合，称为变元集。 (2) ? 是一个与 V 不相交的有穷集合，称为终结符集。 (3) R 是一个有穷规则集，每条规则由一个变元和一个由变元及终结符组成的字符串构成。 (4) S?V 是起始变元。 文法 G = (V,T,R,S)的语言为 L(G) = { w?T*| S ? w } 设计文法：化繁为简，利用正则，考察子串，利用递归。 文法的歧义性 上下文无关文法的乔姆斯基范式： A ? BC，A ? a 计算模型—上下文无关文法 PDA = NFA + stack with unlimited size 下推自动机是 6 元组(Q, ?, ?, ?, q0, F) ? : Q×??×?? ? P(Q×??) 计算模型—上下文无关文法 PDA与上下文无关文法等价。 上下文无关语言的泵引理 如果 A 是上下文无关语言，则存在 p (泵长度)，使得 A 中任何一个长度不小于 p 的字符串 s 都能被划分成 5 段 s = uvxyz，且满足下述条件： (1) 对于每一个 i ? 0, uvixyiz ?A； (2) | vy | ? 0； (3) | vxy | ? p。 可计算理论—图灵机 图灵机是一个 7 元组 (Q, ?, ?, ?, q0, qaccept, qreject) ? : Q×?? Q × ? ×{ L, R }是转移函数。 图灵机的格局：当前状态、当前带内容和读写头当前位置组合在一起。 图灵机M 接受的字符串的集合称为 M 的语言，或被 M 识别的语言，记为 L(M)。 如果一个语言能被某一图灵机识别，则称该语言是图灵可识别的 (Turning recognizable)。也称为递归可枚举语言。 如果一个语言能被某一图灵机判定，则称该语言是图灵可判定的 (Turning decidable)。也称为递归语言。 图灵机的变形：不确定的 TM 、多带 TM 可计算理论—可判定性 ADFA = { B, w | B 是 DFA，w 是串，B 接受 w } ANFA = { B, w | B 是 NFA，w 是串，B 接受 w } AREX = { R,w | R是正则表达式，w是串，R 派生w } EDFA = { A | A 是 DFA，且 L(A) = ? } EQDFA = { A, B | A 和 B 都是 DFA，且 L(A)=L(B) } ACFG={ G, w | G 是 CFG，w 是串，G 派生 w } ECFG = { G | G 是 CFG，且 L(A) = ? } …… 对角线法 停机问题 ATM={ M, w | M 是一个 TM，且接受 w } 一个语言是可判定的，当且仅当它既是图灵可识别的，也是补图灵可识别的。 ā TM 不是图灵可识别的。 可计算理论—可归约性 归约的目的在于：将一个问题转化为另一个问题；且用第二个问题的解来解第一个问题。 归约的应用（A 可归约到 B ） 如果 B 是可判定的，则 A 也是可判定的。 如果 A 是不可判定的，则 B 也是不可判定的。 不可判定问题