有限自动机理论课件.pptVIP

有限自动机理联系方式;;教材：;参考书;参考书;理论来源;形式语言与自动机的作用;计算机学科的专业能力;计算(机)思维能力;;;;;　　第1章 基础知识;内容：;1.1 集合及其运算;有穷集合和无穷集合;集合的定义方法：;列举法(穷举法);;命题法;;例如：;集合的基数;定义1-1 子集;;定义1-2 集合的运算;思考：;;思考：;;思考:;;定义1-3 幂集;例1-1;幂集2A的元素个数;定义1-4 笛卡儿积;例1-2;思考;练习;;1.2 关系;1.2.1 二元关系;思考：;例1-3;1.2.2 等价关系;;;定义1-6;等价关系的性质;;例1-3;;;1.2.3 关系的合成;定义1-7;例1-5;定义1-8 关系的n次幂;定义1-9 关系的闭包; 普通定义:R+;;关系的克林闭包;例1-6;;1.3 证明和证明的方法 ;;1.3.1反证法(归谬法); 与已知条件矛盾； 与公理矛盾； 与已证过的定理矛盾； 与临时的假定矛盾； 自相矛盾；; 由于上述矛盾的出现，可以断言“假设该命题不成立”的假设不正确； 从而肯定原命题正确。;反证法例子;演绎与归纳;1.3.2 归纳法;;归纳法（续）;;;数学归纳法;;数学归纳法的简化;1.3.3 集合递归定义与归纳证明;递归定义集合步骤;;;递归定义集合的优点;例1-6 Fibonacci数;;例;;练习;1.4 图与树;图;定义1-10无向图;;;练习;数学归纳法;;;;例;有向图;例 G2;定义1-12 有向路;有向回路;思考;定义1-13 树;;1.5 语言;;字符串;语言研究的三个方面;语言研究的三个方面（续）;语言研究的三个方面（续）;1.6 常用术语;常用术语（续）;;;;注意：;;思考:;;;;例 A={0，1};;;;;A * 与 A+;注意：;思考;辨析与思考{?}与?;;;串的长度;;例1-13;;;;;思考：;;例1-14;语言与句子;语言的乘积;语言的例子;语言的n次幂;语言的例子;;语言的闭包;1.7形式语言与自动机的发展 ;;;;;;;;;;;;;;;;;;;练习(见习题);3 给出下列对象的递归定义 ;习题评讲(续);习题评讲(续);习题评讲(续);小结