可计算性理论I.pdfVIP

前言 数理逻辑 （1）公理化集合论 （2 ）模型论 （3 ）递归论和可计算理论 （4 ）证明论和构造主义 构造性证明：存在两个无理数a，b 使得ab 为有理数。 2 2 2 2 2  2 证明：令 为正无理数，使得 。令 ，则 如果α为有理数，令a b 2 ，于是ab 为有理数； 2 b  2  2  2 2 反之，如果α为无理数，令a , b 2 ，于是a  2  2 2 2 为有理   数； 故无论α为有理数还是无理数，都有无理数a ，b 使得ab 为有理数。 构造主义不认为上述证明是证明。 Cohen （1963） ZFC 中连续统假设不能被证明，也不能被否证。 Church_Turing 论题：任何能行可计算的模型与Turing 机等价。 Gödel 不完备性定理 （1931）：如果一个形式理论T 足以容纳数论并且无矛盾，则T 必定是不完 备的。 任何一个足够强的一致公设系统,必定是不完备的 可计算函数 计算复杂度理论 分层 不可计算函数 不可解度 计算机 Turing 机 （1936） 程序存储思想（通用Turing 机） 内容： 有限自动机 正规语言 下推自动机 上下文无关语言 上下文相关语言 Turing 机 短语结构文法 递归论 可计算函数 原始递归函数和部分递归函数 递归理论 参考书： [1.] M.D.Davis, E.J.Weyuker Computability,Complexity and Languages Academic Press, 1983 ，1994 （2nd eds ） [2.] J.E.Hopcroft, J.D.Ullman Introduction to Automate Theory,Language and Computation Addison-Wesley, 1979 [3.] J.D.Monk Mathematical Logic, GTM 37 Springer-Verlay [4.] Yu.I.Manin A Course in Mathematical Logic, GTM 53 侧重集合论 [5.] M.R.Garey, D.S.Johnson Computers and Intractability, 1978 NP-完全性 [6.] R.I.Soare Recursively Enumerable Sets and Degrees, 1987 不可解度 [7.] N.Cutland Computability: An introduction to recursive function theory Cambridge Univ. Press, 1980 I 有穷自动机和正规文法 1．1 有穷自动机 定义：有穷自动机M (Q,,,q ,F ) ，其中： 0 Q 为一有穷状态集合； Σ 有穷输入字母表； q0 Q ：初始状态； F Q ：终结状态集合  : Q Q ：状态转移函数 例1.  输入 a b 状态 q0