文档介绍：1
2018/3/6
College puter Science & Technology, BUPT
Formal Languages and Automata
课程名称形式语言与自动机
教师姓名杨娟
(计算机学院软件工程中心)
电话 6228 3778
信箱 ******@bupt.
助教徐晨阳彭爽
2
2018/3/6
College puter Science & Technology, BUPT
绪论
课程信息
为什么学****形式语言与自动机
形式语言与自动机概述及应用
课程内容及要求
3
2018/3/6
College puter Science & Technology, BUPT
专业基础课
上世纪 60 年代末、70年代初,研究的高峰
之后,向应用领域渗透,研究生课程
逐渐普及,本科阶段的专业基础课
专业工作者必须的理论素养
计算模型计算机(不)能够做什么
问题分类计算的复杂性,算法分析
形式系统建模工具(状态机)
抽象描述形式文法、形式表达式
课程性质
4
2018/3/6
College puter Science & Technology, BUPT
相关课程
先修课程
《离散数学》(《数理逻辑》,《集合论》)
计算机导论与程序设计、数据结构
后续课程
《编译原理》
其它相关课程
《模式识别》、《算法分析》
5
2018/3/6
College puter Science & Technology, BUPT
教材:
形式语言与自动机
王柏杨娟编著
北京邮电大学出版社
6
2018/3/6
College puter Science & Technology, BUPT
经典参考书
书名 Introduction to Automata Theory,
Languages, putation
(Second Edition)
作者 John E. Hopcroft (Cornell)
Rajeev Motwani (Stanford)
Jefferey D. Ullman (Stanford)
出版社 Addison Wesley (2001)
清华大学出版社(影印版)
First Edition 中译本《自动机理论、语言和计算导引》徐美瑞等译科学出版社,1990
,
the Turing Award
winner in 1986.
7
2018/3/6
College puter Science & Technology, BUPT
其它参考书
《自动机理论及其应用》
何成武科学出版社1990
《形式语言及其句法分析》
. 阿霍等科学出版社1987
《形式语言》
王兵山,吴兵编国防工业大学出版社,1988
《形式语言与自动机理论》
蒋宗礼,姜守旭. 清华大学出版社,2003
《形式语言与自动机》
陈有祺编著***出版社,2008
8
2018/3/6
College puter Science & Technology, BUPT
为什么学****形式语言与自动机
形式语言与自动机是计算机科学的基础理论之一,是计算机学科的专业基础课。
在人工智能、电信领域等有广泛的应用。
通过一些定理的证明和应用,对大家进行思维训练,从而为今后学****通信软件,协议工程,编译技术,人工智能等内容提供理论基础。
9
2018/3/6
College puter Science & Technology, BUPT
对客观世界的科学研究:目的在于把抽象数学的形式化体系发展成为与现实生活相似的理论模型,从而提供一种通用结构来描述、理解和解决问题。
计算机科学:是关于计算知识的有系统的整体。
10
2018/3/6
College puter Science & Technology, BUPT
计算机科学的两个主要部分:
构成计算基础的一些基本概念和模型;
设计计算系统(软件和硬件)的工程技术(设计理论的应用)
本课程着重介绍第一部分(涉及到一些第二部分的应用),通过形式化技术对大家进行思维训练,为今后的学****打好理论基础。