[其它]形式语言与自动机理论电子教案-01.ppt

形式语言与自动机理论Formal Languages and Automata Theory 张军 课程目的和基本要求 课程性质 技术基础 基础知识要求 数学分析（或者高等数学），离散数学 主要特点 抽象和形式化 理论证明和构造性 基本模型的建立与性质 课程目的和基本要求 本专业人员4种基本的专业能力 计算思维能力 算法的设计与分析能力 程序设计和实现能力 计算机软硬件系统的认知、分析、设计与应用能力 计算思维能力 逻辑思维能力和抽象思维能力 构造模型对问题进行形式化描述 理解和处理形式模型 课程目的和基本要求 知识 掌握正则语言、下文无关语言的文法、识别模型及其基本性质、图灵机的基本知识。 能力 培养学生的形式化描述和抽象思维能力。 使学生了解和初步掌握“问题、形式化描述、自动化（计算机化）”这一最典型的计算机问题求解思路。 主要内容 语言的文法描述。 RL RG、 FA、RE、RL的性质 。 CFL CFG(CNF、GNF)、PDA、CFL的性质。 TM 基本TM、构造技术、TM的修改。 CSL CSG、LBA。 第1章? 绪论1.4 语言 1.4.1 什么是语言 例如：“学大一生是个我”；“我是一个大学生”。 语言是一定的群体用来进行交流的工具。 必须有着一系列的生成规则、理解(语义)规则。 1.4.1 什么是语言 1.4.1 什么是语言 斯大林：从强调语言的作用出发，把语言定义为“为广大的人群所理解的字和组合这些字的方法”。 语言学家韦波斯特(Webster) ：为相当大的团体的人所懂得并使用的字和组合这些字的方法的统一体。 要想对语言的性质进行研究，用这些定义来建立语言的数学模型是不够精确的。必须有更形式化的定义。 1.4.2 形式语言与自动机理论的产生与作用 语言学家乔姆斯基，毕业于宾西法尼亚大学，最初从产生语言的角度研究语言。1956年，他将语言L定义为一个字母表∑中的字母组成的一些串的集合： L?∑*。 字母表上按照一定的规则定义一个文法(grammar)，该文法所能产生的所有句子组成的集合就是该文法产生的语言。 1959年，乔姆斯基根据产生语言文法的特性，将语言划分成3大类。 1.4.2 形式语言与自动机理论的产生与作用 1951年到1956年，克林(Kleene) 在研究神经细胞中，建立了识别语言的系统——有穷状态自动机。 1959年，乔姆斯基发现文法和自动机分别从生成和识别的角度去表达语言，而且证明了文法与自动机的等价性，这一成果被认为是将形式语言置于了数学的光芒之下，使得形式语言真正诞生了。 1.4.2 形式语言与自动机理论的产生与作用 20世纪50年代，巴科斯范式(Backus Nour Form 或 Backus Normal Form，BNF)实现了对高级语言ALGOL-60的成功描述。这一成功，使得形式语言在20世纪60年代得到了大力的发展。尤其是上下文无关文法被作为计算机程序设计语言的文法的最佳近似描述得到了较为深入的研究。 相应的理论用于其他方面。 1.4.2 形式语言与自动机理论的产生与作用 形式语言与自动机理论在计算机科学与技术学科的人才的计算思维的培养中占有极其重要的地位。 计算学科的主题：“什么能被有效地自动化”。 1.4.2 形式语言与自动机理论的产生与作用 计算机科学与技术学科人才专业能力构成 “计算思维能力”——抽象思维能力、逻辑思维能力。 算法设计与分析能力。 程序设计与实现能力。 计算机系统的认知、分析、设计和应用能力。 1.4.2 形式语言与自动机理论的产生与作用 1.4.2 形式语言与自动机理论的产生与作用 考虑的对象的不同，所需要的思维方式和能力就不同，通过这一系统的教育，在不断升华的过程中，逐渐地培养出了学生的抽象思维能力和对逻辑思维方法的掌握。 创新意识的建立和创新能力的培养也在这个教育过程中循序渐进地进行着。 内容用于后续课程和今后的研究工作。 是进行思维训练的最佳知识载体。 是一个优秀的计算机科学工作者必修的一门课程。 1.4.3 基本概念 对语言研究的三个方面 表示(representation)—— 无穷语言的表示。 有穷描述(finite description) ——研究的语言要么是有穷的，要么是可数无穷的，这里主要研究可数无穷语言的有穷描述。 结构(structure)——语言的结构特征。 1.4.3 基本概念 字母表(alphabet) 字母表是一个非空有穷集合，字母表中的元素称为该字母表的一个字母(letter)。又叫做符号(symbol)、或者字符(character)。 非空性。 有穷性。 例如： {a，b，c，d}