[计算机软件及应用]研究生院-Lecture Notes for DB.ppt

TangChangjie@ Lecture Notes for DB * Hard Working….. (Xing Hua park 2007.2.20) 教材 原著 Introduction to the Theory of Computation. 作者 Material: Michael Sipser (MIT) PWS Publishing Company, 1997. (Both first and second printing are okay. ISBN 0-619-21674-2 中译本，计算理论导引(第二版), 唐常杰 陈鹏 向勇 刘齐宏 译，机械工业出版社出版，2006.7 ISBN 7-111-19028-9 电子教案 下载 电子教案可在下面三个网址 下载： Http:// (机械工业出版社） 川大计算机学院： /~tangchangjie/teach/tang_teaching.htm 川大教师主页： /waim03/scu_cs/teach/tang_teching.htm 后两各地址 可能更新 及时一些。 第 0章 概念与语言, 第 1章 确定自动机 课程意义 阅读文献时需要： 博士生阅读论文经常碰到： XXX problem is NP-hard (NP-complete) YYY Problem in recursive unsolvable (un-decidable) 。 撰写论文需要： 例如投稿 WAIM04的论文, 有以下结果 The Problem to fined Delta-accurate Expression for interval I is NP-hard 第 0章 概念与语言, 第 1章 确定自动机 Standard Set Theory:集合论 传统，已经学过 只复习要点， ep.3-7 , cp. Conditional: A = { x | x ? N , f(x)=0 } Union: A?B Intersection: A?B Complement: Cartesian Product: A?B Power set: P (A) 或 2A (介绍记号的来源 |P (A)| = 2|A| ） Some Examples ep6. Power set 幂集 悖论 （补充） 悖论 （补充） 悖论实例 补充 悖论实例 补充 悖论实例 补充 “说谎者”之所言 不是命题 而是多义句 “说谎者”之所言 不是命题 而是多义句 “说谎者”之所言 不是命题 而是多义句 理发匠 悖论 理发匠 悖论 目录悖论 目录悖论 Languages 语言，字词的集合 cp.19 Given an alphabet ?, we can make a word or string by concatenating the letters of ?. 字母表 Concatenation of “x” and “y” is “xy” 字母的链接 Typical example: ?={0,1}, the possible words over ? are the finite bit strings. 01位串为单词 A language is a set of words. 语言，字词的集合 定义： 设? 是字母表， 则称2?的子集A为?上的语言。 More about Languages The empty string ? is the unique string with zero length. Concatenation of two langauges:  A?B = { xy | x?A and y?B } 两个语言的链接 : 字集之链 = 链字之集 Typical examples: L = { x | x is a bit string with two zeros } L = { anbn | n ? N } L = {1n | n is prime} 每个词是素数个1链成 A Word of Warning 注意 自动机的直观概念 火车车次表 cp20 linux内核的进程控制可用自动机表示 自动机直观概念 Recognizing Languages 识别语言 cp22 Let L be a language ? S 自动机识别语言的直观描述（后面有形式化定义）用有限描述无限。 入： 单词与语言， 出判定（Y:N) a machine M recognizes L