离散系统形式语言与自动机讲义.ppt

e.g. 定义：如果r,s是字母表上的一个正则表达式，如果L(r)=L(s)，那么r和s是等价的。 定义：正则表达式r，和FA M如果：L(r)=L(M)，那么它们是等价的。 定理：正则表达式表示的语言是正则语言 （提示：通过证明对于任意的RE都能构造出FA，证明共8页） 定理：正则语言可以用正则表达式表示 定理：RE,FA,RG等价，都是RL的模型 RE,FA,RG等价，是RL的表示模型 RL等价模型的总结 Properties of RL 泵引理及作用 RL上运算的封闭性质 泵引理 e.g. 由此可见：泵引理是用于证明一个语言不是RL的。但不能证明一个语言是RL。 RL上运算的封闭性质 定义：如果任意的、属于某一语言类的语言在某一个特定运算下所得的结果仍然是该类语言，则该类语言类对此运算是封闭的，并称该语言类对此运算具有封闭性（closure property）。 定理：RL在并、乘积、闭包运算下是封闭的 定理：RL在补运算下是封闭的。 定理：RL在交运算下是封闭的。 形式语言与自动机Formal Language and Automata 简介 A Very Brief Introduction 提纲 Outline 概述 Overview of Formal Language and Automata 背景与预备知识 Background and Preliminaries 语法 Grammar 有限自动机 Finite Automaton (FA) 正则表达式 Regular Expression (RE) 正则语言特性 Properties of Regular Language (RL) 上下文无关语言和图灵机 Context Free Language Turing Machine 结论 Conclusion Comment Overview 形式化描述和抽象思维 严格的理论证明和强烈的构造性 大量的抽象的定义、定理、构造、证明 与计算机理论基础（如图灵机和冯诺伊曼式计算机）和编译原理有密切关系 背景与预备知识 Background and Preliminaries 数学基础：高等数学（数学分析）、离散数学 集合（表示、相互关系、运算） 关系(relation) 二元关系R(自反、反自反、对称、传递、等价） 等价类和划分 关系的合成，R1R2， Rn幂运算，+闭包，*闭包， 归纳法和归纳定义 图（论） 有向图、无向图、树 History Development 乔姆斯基(Chomsky)从语言学的角度对语言的定义（1956） : 对于任何语言L，有一个字母表E，使得L属于集合E*。在字母表上按照一定的规则定义一个文法(grammar)，该文法产生的所有句子组成的集合就是该文法产生的语言。 科林(Kleene)从自动机的角度给出了语言的定义（1956） ： 对于按照一定的规则构造的任一个自动机，该自动机就定义了一个语言，这个语言由该自动机能识别的所有句子组成。 乔姆斯基证明文法与自动机的等价性。 基本概念 Basic Concepts 字母 字母表 运算 句子 语言 字母与字母表的运算 {a,b} a,b 语言和句子 文法 Grammar 文法的形式定义： 文法G是一个四元组：G=(V,T,P,S)其中, V：变量的非空有穷集。变量也称为非终极符号 T：终极符号的非空有穷集合 P：产生式的非空有穷集合.i.e. S:文法的开始符号 Eg1. 是文法 Eg2 不是文法. 用文法来定义的语言 设文法G=(V,T,P,S)，则称： 为文法G产生的语言（可以对比前面） 我们通过文法来定义语言，但是，对于每一种语言，可以构造出多种不同的文法。 1。这些文法之间有什么关系？ 2。是否有规律来构造这些文法？ 1、定义：这些文法是等价的 2、没有 文法的乔姆斯基体系 设文法G=(V,T,P,S) 则G叫做0型文法 0型文法又称为无限制文法。这种文法对生成式 不作特殊限制， 和可以是任意的文法符号串，当然不能是空字符串。0型文法是形式语言谱系中最大的文法类。由0型文法产生的形式语言恰是图灵机所识别的语言类，即递归可枚举语言。 根据 P中生成式的特点，可以将形式文法及其产生的形式语言分类，构成所谓的形式语言谱系。形式语言理论中重点研究四类文法和语言： 1型文法(上下文相关文法) 如果对于 则称G为1型文法。又称为上下文有关文法。这种文法要求生成式 满足 ，即 要至少和 一样长。 由1型文法产生的语言称为1型语言或上下文有关语言。1型语言恰是非确定型线性有界自动机所识别的语言类。 2型文法(上下文无关文法) 则称G为2型文法。又称为上下文无关文法。这种文法要求生成式 中