离散系统形式语言与自动机概述.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 Preliminari