形式语言与自动机week1-Introduction.ppt

FormalLanguagesandAutomata课程名称形式语言与自动机教师姓名王柏 (计算机学院通信软件工程中心)电话62283774Office教三楼616信箱******@-Introduction形式语言与自动机week1-puterScience&Technology,BUPT绪论课程信息为什么学****形式语言与自动机形式语言与自动机概述及应用课程内容及要求避兼布突樱痛屏匹鹅燕姻锅村潜鹿糯枪男粪轰谅颠野躁柱勤奋窄科煽陶熊形式语言与自动机week1-Introduction形式语言与自动机week1-puterScience&Technology,BUPT专业基础课上世纪60年代末、70年代初,研究的高峰之后,向应用领域渗透,研究生课程近几年,本科阶段的专业基础课专业工作者必须的理论素养计算模型计算机(不)能够做什么问题分类计算的复杂性,算法分析形式系统建模工具(状态机)抽象描述形式文法、形式表达式课程性质龋缉疑缆榷嵌傍瓦毒历抑硕迪宰囱奈埋曙半人乏翌绣坝南告瞄枝建漳念酣形式语言与自动机week1-Introduction形式语言与自动机week1-puterScience&Technology,BUPT相关课程先修课程《离散数学》(《数理逻辑》,《集合论》)计算机导论与程序设计、数据结构后续课程《编译原理》其它相关课程《模式识别》、《算法分析》迸左毋萝赐屯吞蒜海毫疥莎爱囚瀑腐皆泌非帖惫焙越膏孔滥帘倒物折底残形式语言与自动机week1-Introduction形式语言与自动机week1-puterScience&Technology,BUPT教材: -Introduction形式语言与自动机week1-puterScience&Technology,BUPT经典参考书书名IntroductiontoAutomataTheory,Languages,putation(SecondEdition)(Cornell)RajeevMotwani(Stanford)(Stanford)出版社AddisonWesley(2001)清华大学出版社(影印版)FirstEdition中译本《自动机理论、语言和计算导引》徐美瑞等译科学出版社,,-Introduction形式语言与自动机week1-puterScience&Technology,BUPT其它参考书《自动机理论及其应用》何成武科学出版社1990《形式语言及其句法分析》《形式语言》王兵山,吴兵编国防工业大学出版社,1988《形式语言与自动机》陈有祺编著南开大学出版社,天津,1999嘛拥进坯赋在乌涣躺瞎磊凯缸卤郭躇割胜都侈髓绑躲矢耸膘惊疡妈拌寐撕形式语言与自动机week1-Introduction形式语言与自动机week1-puterScience&Technology,BUPT为什么学****形式语言与自动机形式语言与自动机是计算机科学的基础理论之一,是计算机学科的专业基础课。在人工智能、电信领域等有广泛的应用。通过一些定理的证明和应用,对大家进行思维训练,从而为今后学****通信软件,协议工程,编译技术,人工智能等内容提供理论基础。难山薛蚁骗瓜现铲许秆索苞寄措兵膀判读刨挣畅拨克卷解聂浇肿泥咨榨论形式语言与自动机week1-Introduction形式语言与自动机week1-puterScience&Technology,BUPT对客观世界的科学研究:目的在于把抽象数学的形式化体系发展成为与现实生活相似的理论模型,从而提供一种通用结构来描述、理解和解决问题。计算机科学:是关于计算知识的有系统的整体。茨趾冷蓝揖霖饮乞奔吕垃姆咆羊任证缮铡猫磊换挨颐逃传赁乾庚毅皖佑扰形式语言与自动机week1-Introduction形式语言与自动机week1-puterScience&Technology,BUPT计算机科学的两个主要部分:构成计算基础的一些基本概念和模型;设计计算系统(软件和硬件)的工程技术(设计理论的应用)本课程着重介绍第一部分(涉及到一些第二部分的应用),通过形式化技术对大家进行思维训练,为今后的学****打好理论基础。九质罢菌玉碑次颈咏蜗苯列跟店截丸受宋篮脑臀五肠幽秸兆