Chapter-02--形式语言与自动机.pptxVIP

第2章 形式语言与自动机基础知识点：文法的形式定义 上下文无关文法、正规文法 推导、短语、分析树、二义性 有限自动机的形式定义 自动机、文法、表达式等价性 NFA的确定化、DFA的最小化形式语言与自动机基础2.1 语言和文法2.2 有限自动机2.3 正规文法与有限自动机的等价性2.4 正规表达式与有限自动机的等价性2.5 正规表达式与正规文法的等价性 小结 2.1 语言和文法 一、字母表和符号串 二、语言 三、文法及其形式定义 四、推导和短语 五、分析树及二义性 六、文法的变换一、字母表和符号串字母表符号的非空有限集合典型的符号是字母、数字、各种标点和运算符等。符号串定义在某一字母表上由该字母表中的符号组成的有限符号序列同义词：句子、字符号串有关的几个概念长度符号串?的长度是指?中出现的符号的个数，记作|?|。空串的长度为0，常用?表示。前缀符号串?的前缀是指从符号串?的末尾删除0个或多个符号后得到的符号串。如：univ 是 university 的前缀后缀符号串?的后缀是指从符号串?的开头删除0个或多个符号后得到的符号串。如：sity 是 university 的后缀子串符号串?的子串是指删除了?的前缀和/或后缀后得到的符号串。如：ver 是 university 的子串符号串有关的几个概念（续）真前缀、真后缀、真子串如果非空符号串?是?的前缀、后缀或子串，并且???，则称?是?的真前缀、真后缀、或真子串。子序列符号串?的子序列是指从?中删除0个或多个符号(这些符号可以是不连续的)后得到的符号串。如：nvst?n=abab??ab n个ab??……?? n个符号串运算连接符号串?和符号串?的连接??是把符号串?加在符号串?之后得到的符号串若?=ab，?=cd，则??=abcd，??=cdba。对任何符号串?来说，都有??=??=?幂若?是符号串，?的n次幂?n 定义为：当n=0时，?0是空串?。假如?=ab，则有：?0=? ?1=ab?2=abab……= L0∪L1∪L2∪L3∪ …… = L1∪L2∪L3∪L4∪ ……二、语言语言：在某一确定字母表上的符号串的集合。空集?，集合{?}也是符合此定义的语言。这个定义并没有把任何意义赋予语言中的符号串。语言的运算：假设 L 和 M 表示两个语言L和M的并记作L∪M：L∪M={s|s?L 或 s?M}L和M的连接记作LM：LM={st|s?L 并且 t?M}L的闭包记作L*：即L的0次或若干次连接。L的正闭包记作L+：即L的1次或若干次连接。 D+ 由一个或若干个数字组成的所有符号串的集合 语言 描述 L∪D全部字母和数字的集合 LD由一个字母后跟一个数字组成的所有符号串的集合 L4由4个字母组成的所有符号串的集合 L*由字母组成的所有符号串（包括?）的集合 L(L∪D)*以字母开头，后跟字母、数字组成的所有符号串的集合把幂运算推广到语言L0={?}，Ln=Ln-1L，于是Ln是语言L与其自身的n-1次连接。L={A,B, … ,Z,a,b, … ,z}，D={0,1, … ,9}可以把L和D看作是字母表可以把L和D看作是语言语言运算举例：三、文法及其形式定义文法：所谓文法就是描述语言的语法结构的形式规则。任何一个文法都可以表示为一个四元组G=(VT,VN,S, ?) VT是一个非空的有限集合，它的每个元素称为终结符号。 VN是一个非空的有限集合，它的每个元素称为非终结符号。 VT∩VN =φ S是一个特殊的非终结符号，称为文法的开始符号。 ?是一个非空的有限集合，它的每个元素称为产生式。产生式的形式为：???“?” 表示 “定义为”（或“由……组成”）?、??(VT∪VN)* ，???左部相同的产生式???1、???2、……、???n可以缩写 ???1|?2|……|?n“|” 表示 “或”， 每个?i(i=1,2,…,n)称为?的一个候选式 ??? 0型文法 其中 ?,??(VT∪VN)*0型语言 |?|?0 1型文法，即???1型语言，即上下文有关文法 其中 ?,??(VT∪VN)*上下文有关语言 |?|?|?| 2型文法，即A??2型语言，即上下文无关文法 其中 A?VN，??(VT∪VN)* 上下文无关语言 3型文法，即A?a或A?aB（右线性），或3型语言，即 正规文法A?a或A?Ba（左线性） 正规语言 （线性文法） 其中 A,B?VN， a?VT∪{?}文法类型 产生式形式的限制 文法产生的语言类文法分类根据对产生式施加的限制不同，定义了四类文法和相应的四种形式语言类。上下文无关文法及相应的语言