上下文无关文法与下推自动机.PPT

* By construction（构造法） By contradiction（反证法） By induction（归纳法） Proof techniques（证明技术） * 许多定理声明存在一种特定类型的对象。通过说明如何构造这样的对象是证明这种定理的一种方法，这种方法就是构造性证明方法 proof by construction Proof By Construction * Let us define a graph to be k-regular （k-正则的）if every vertex of the graph has degree k E.g., By Construction [Example 1] 2-regular 3-regular * Theorem: For each even number n ? 4, there exists a 3-regular graph with n vertices. How to prove it? By Construction [Example 1] * Proof Idea: 构造出一个n个顶点的3正则图。将n个点均匀排列在一个圆上，对每一个顶点，连接其左右邻点各为一条边，第三条边与其相对点相连。 证明: Label the vertices by 1,2,…, n. The edge set E is the union of E1 = { {x,x+1} | for x = 1,2,…,n-1 } E2 = { {1,n} } E3 = { {x, x+ (n/2)} | for x = 1,2,…,n/2 } Then, it is easy to check that the degree of each vertex is exactly 3. By Construction [Example 1] Page 13 * By Contradiction [Example 2] By Contradiction [Example 3] Page 14 * Homework 0.1 0.2 0.5 0.6 0.9 0.10 0.11 * 康托尔集合、罗素悖论、哥德尔定理 * * 韩启龙 hqlwxm2002@ 计算理论 * 序 言 一. 本课的性质以及研究的内容 任何一门学科都有它的基础和它的基本问题，如物质的本质是什么？有机体生命的基础和起源是什么？ 什么是计算机科学的基础？什么是计算机科学的基本问题？ 诸如什么是形式语言？什么是计算？什么是能计算的？什么是不能计算的？什么是算法？如何评价算法？什么样的算法是可行的？这些问题能否判定？这又引出什么是可判定的？什么是不可判定的？ 这些问题就是计算理论要讨论的问题。 性质：该课是计算机科学的理论课。 计算理论：就是研究理论计算机的科学。 理论计算机：是研究计算机的理论模型，研究计算机 的本质，也就是把计算机看成一个数学系统。(因为计算 机科学的基本思想和模型在本质上是数学——离散的。) 内容： 形式语言与自动机理论： 正规文法与有限自动机(正规语言) 、 上下文无关文法与下推自动机(上下文无关语言) 图灵机(递归可枚举语言) 可计算性理论： 什么是可计算？ 计算复杂性理论： 时间复杂性 、 空间复杂性。 序 言 二. 学习目的： 了解这些计算理论 我们知道计算机不论从它的诞生还是它的快速发展过程 都没有离开计算理论，也就是它是在计算理论指导下诞生 和发展的。本课所涉及的都是计算机科学的基本问题。不 首先了解它们，是很难理解计算机科学的。作为计算机科 学与技术专业的本科生和研究生应该了解这些计算理论。 培养能力 此外此课可以培养学生抽象逻辑思维和形式化思维的能 力。 序 言 * 三.学时、学分 32学时/2学分 四.基础 离散数学(数理逻辑，集合论，图论) 序 言 * 教材 参考书 Textbook Introduction to the Theory of Computation (2nd Edition), by Michael Sipser 《计算理论导引 》 英文版，（美）MICHAEL SIPSER， 中文第2版：唐常杰等译 We will follow very closely to this book References Computational Complexity, by C. Papadimitiou Introduction to Automata Theory, Lang