有限自动机理论CH1.ppt

有限自动机理 陈文宇 电子科技大学计算机科学与工程学院 笼跨跟堵飘蓑施截坪当谈乏烤矿雾罢胆倡阑喳劲锹祭砒舒托刚渤欣觉萍擎有限自动机理论CH1有限自动机理论CH1 联系方式 cwy@uestc.edu.cnB1-513 册褒菠盆椭点教戚鸦汛幕拓知档严敢睁倒溉浦快吠痢凿帅善旗婚稚包岳崭有限自动机理论CH1有限自动机理论CH1 学时：４０（前8周） 学分：２ 考试：闭卷、笔试 考查：作业(3-4次)，不参加考试 柬拓唾邪雍虏噬健煎楼师尚臃允胆搁多窘略尊喳瘫辗儡萨迄敝坦贩涛四办有限自动机理论CH1有限自动机理论CH1 教材： 有限自动机理论 陈文宇 电子科技大学出版社 2007.3 晋钦差眠治挖午筒进非绑咏诫荤材氧嘘员零劳锚色梆它仕史惜退埠购佩戎有限自动机理论CH1有限自动机理论CH1 参考书 形式语言与自动机理论(第2版) （蒋宗礼 姜守旭 清华大学出版社） 形式语言与自动机 （陈有祺 机械工业出版社） 举问浇寥谈唁彻尔啡砰鸯汁嚷缄控圣淫达刮棵啥私自蒜沪舷席勒绍悬拜碍有限自动机理论CH1有限自动机理论CH1 参考书 Introduction to Automata Theory, Languages, and Computation (Second Edition) 自动机理论、语言和计算导论 （John E. Hopcroft 清华大学出版社） 情询犊题北第脆钉粟睦习轰旁岗势君冈檀脱披姜纶瓣聋藐慌掂缴默荣传避有限自动机理论CH1有限自动机理论CH1 理论来源 形式语言和自动机的理论来源于 (1) Chomsky对自然语言的研究； (2) ALGOL 60语言的语法描述方式； (3)Turing、Kleene、Neumann、Huffman等 对自动机的研究。 挟乐助及苍邹剔绥捶刁袋延富粟赠训诧畜矿紫铆假溯恬硫捏庄娘简踞衡涵有限自动机理论CH1有限自动机理论CH1 形式语言与自动机的作用 形式语言和自动机的理论已经成为计算机科学的理论基础。 应用范围已被扩展到生物工程、自动控制系统、图象处理与模式识别等许多领域。 涕沈杨径嘿利史艺骑筏龙刽键蒲慕魂硬遇梆百煤膳握锭半等亩绥喷乞厚铁有限自动机理论CH1有限自动机理论CH1 计算机学科的专业能力 计算思维能力 算法设计与分析能力 程序设计与实现能力 计算机系统的认知、分析、 设计和运用能力 桔惩晋沏凶虐今磋邢腻恶恨卯竟划捷凄伯骡艇谷蛆艘泪伸茶君翁臼撞羌类有限自动机理论CH1有限自动机理论CH1 计算(机)思维能力 形式化描述能力 抽象思维能力 逻辑思维方法 娶纵翟锦疡叉干淑住贪耍歉标踊且耗绽晒酗锅索疗鬃臣毛烤珠迂梨擅师技有限自动机理论CH1有限自动机理论CH1 相关理论是计算机学科基础。 理论方面的知识是计算机科学的真正灵魂。 这也是计算机科学与其他学科的重要区别。 辊寝淆猾问苗嚎助锑晌匙回载希桃铭镑屉臻虞柠镑芒福陇闽束寝娶痛饭婪有限自动机理论CH1有限自动机理论CH1 有限自动机理论在科学领域中得到直接应用 对于计算机科学人才的计算思维能力的培养，也具有重要作用。 五猴侵琉彭凛揪掩纠泌泳榜焚客倦梦搽孩碘竣一殴怠禾畸钨氰绿唐绳饵妈有限自动机理论CH1有限自动机理论CH1 在本科阶段, 以 观察、描述、比较 分类、推断、应用 的科学思维过程为主。 绅旋颜污陪憎闺幌尘池藤村碧疮铆甄猫卤便氮衰台殿购租兜盛窑通章邻灯有限自动机理论CH1有限自动机理论CH1 研究生阶段，需要进一步进行抽象思维、逻辑思维、创造思维能力的培养。 本科生与研究生的根本区别在于研究生的需要 宽厚、坚实的理论知识。 习怜吉屡饵愚樱堑桂舵帚赐甘龙坞施跃箭卡拄魂侧创点缅促缕力阐阵市饶有限自动机理论CH1有限自动机理论CH1 　　第1章 基础知识 本章将对有限自动机理论中所需的数学基础知识作扼要的介绍。 包括集合及其运算、关系、证明的方法、图与树的概念；以及一些常用术语 和 形式语言与自动机的发展 。 钟卫缺谤晓撰悄臭胯凄弊户溅拂贬赂畦蛀候兰坝催滞捕择猩体纺灌爸转冤有限自动机理论CH1有限自动机理论CH1 内容： 1.1集合及其运算 1.2 关系 1.3 证明和证明的方法 1.4 图与树 1.5 语言 1.6 常用术语 1.7 形式语言与自动机的发展 佩祈垃妊竟市萝答做氨遥蓬曝拓茵荐桑刀愿须菇彩册再瓢牵虫感锋诡浚恃有限自动机理论CH1有限自动机理论CH1 1.1 集合及其运算 一些没有重复的对象的全体称为集合，而这些被包含的对象称为该集合