有限自动机理论-1章基础知识.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * 笛卡儿是著名的法国哲学家、数学家、物理学家，天文学家、、化学家和生理学家。 解析几何学奠基人之一。 欧洲近代哲学的奠基人之一，黑格尔称他为“现代哲学之父”。 笛卡儿堪称17世纪及其后的欧洲哲学界和科学界最有影响的巨匠之一，被誉为“近代科学的始祖”。 1596年3月31日生于土伦，1650年2月11日卒于斯德哥尔摩。 * * * * * * * 2的m*n方 m*n 0 * * * * [a]=[x] 若 aRx * * * * * * * * * * * * 就是从普遍性的理论知识出发，去认识个别的、特殊的现象的一种逻辑推理方法。演绎的基本形式是三段论式 . 一般到特殊. * * * * * * * * 在本科阶段的学习过程中，学生以观察、描述、比较、分类、推断、应用、创造思维等科学思维过程为主，强调自学的能力在培养； 研究生阶段，需要对学生进一步进行抽象思维、逻辑思维、创造思维能力的培养。 建立物理符号系统并对起实施等价变换是计算机学科进行问题描述和求解的重要手段。“可行性”所要求的“形式化”及其“离散特征”使得数学成为重要的工具，而计算模型无论从方法还是从工具等方面，都表现出它在计算机上科学中的重要作用。 计算机科学与技术学科要求学生具有形式化描述和抽象思维能力，要求掌握逻辑思维方法。这种能力就是计算思维能力或计算机思维能力。 计算机学科系统地研究信息描述和变换算法，重要包括信息描述和变换算法的理论、分析、效率、实现和运用。学科的根本问题在于：什么能被（有效地）自动化？学科的重要内容之一是研究计算领域中的一些普遍规律，描述算法的基本概念与模型。 计算思维能力的培养主要是通过基础理论系列课程实现的，该系列是由数学和抽象度较高的理论课程组成，包括数学分析、集合和图论、形式语言与自动机、近世代数、数学建模等课程。 练习(见习题) 3(2) 4 3 给出下列对象的递归定义 对于任意x ? ?*,字符串x的倒序 若|x| 2，则xT = x 若|x| 1，令x = ya， 其中y ? ?+, a ? ?， 则 xT = ayT 4．?＝{0，1}，请给出语言的形式表示 所有以0开头的串的语言。 所有以0开头，以1结尾的串的语言。 所有以11开头，11结尾的串的语言。 所有最多有一对连续的0串的语言。 所有长度为偶数的串的语言。 所有长度为奇数的串的语言。 所有包含子串01011的串的语言。 所有包含3个连续0的串的语言。 所有的第10个字符是0的串的语言。 所有倒数第6个字符是0的串的语言。 习题评讲(续) 4 (1) {0}{0, 1}* (2) {0}{0, 1}* {1} (3) {11}{0, 1}*{11} ∪{111，11} (4)? 习题评讲(续) (5) {{0, 1}{0, 1}}* (6) {{0, 1}{0, 1}}* {0, 1} (7) {0, 1}*{01011} {0, 1}* (8) {0, 1}*{000}{0, 1}* 习题评讲(续) (9) {0, 1}9 {0}{0, 1}* (10) {0, 1}* {0} {0, 1}5 小结 复习集合、关系、图等相关知识 引入形式语言基本概念 * 蒋宗礼，教授，北京市教学名师。现任教育部高校计算机专业教学指导分委员会秘书长 陈有祺 南开大学 * Neumann:数学家 细胞自动机 * * * * * * 谓词 　　用来描述或判定客体性质、特征或者客体之间关系的词项。 * * * * B? A * * A ? B * * A ∩ B=0 * * ?和集合A本身都是集合A的子集。 任何集合A的幂集2A的元素都是集合。 * 例 A={0，1} A0={ε} 即长度为0的0和1组成的串的集合 A1=A={0,1} 即长度为1的0和1组成的串的集合 A2=AA={00,01,10,11} 即长度为2的0和1组成的串集合 ? A3=A2A ={000,001,010,011,100,101,110,111} 即长度为3的0和1组成的串的集合 … A* = A0 ∪ A1 ∪ A2 ∪ …∪ An ={0和1 组成的所有的串} ={w|w是0和1 组成的串} 如果串ω是集合A的闭包中的串，也称ω是集合A上的串。 对于任何集合A 有(A*)*= A* 8) A+称为A的正闭包 A+=A∪A2∪A3∪…∪An A * 与 A+ A * = A+ ∪ A0 即 A