第4章文法和语言学案.ppt

第4章 文法和语言;本章知识点(内容);文法的直观概念和语言概述;“我是大学生”。是汉语的一个句子;;;英语句子;语言概述;;;;;有关定义和记号—回顾;有关定义和记号—回顾;对于每个符号串s， s和ε两者都是符号串s的前缀，后缀和子串。 符号串s的真前缀，真后缀，真子串：任何非空符号串 x,相应地，是s的前缀，后缀或子串，并且 s ? x 符号串的运算 符号串的长度：符号串中符号的个数.符号串s的长度记为|s|。 ε的长度为0 连接：符号串x、y的连接,是把y的符号写在x的符号之后得到的符号串xy 如 x=ab,y=cd 则 xy=abcd 有εa = aε 方幂：符号串自身连接n次得到的符号串 an 定义为 aa…aa n个a a1=a, a2=aa则a0=ε;;;有关定义和记号;给出语言上的有关运算;语言上的运算;文法和语言的形式定义;文法即是生成方式描述语言的：语言中的每个句子可以用严格定义的规则来构造.下面给出文法的定义.进而在文法的定义的基础上,给出推导的概念,句型、句子和语言的定义.;定义;Define a grammar;文法的定义;例 文法G=（VN，VT，P，S） VN ={标识符，字母，数字} VT ={a,b,c,…x,y,z,0,1,…,9} P={标识符→字母 标识符→标识符字母 标识符→标识符数字 字母→a,…, 字母→z 数字→0,…, 数字→9 } S=标识符;;元符号: → ∷= | 习惯表示 大写字母：终结符 小写字母：非终结符 S – AB A – Ax | y B – z ;推导的定义;;推导的定义;例：G： S→0S1， S→01 0S1 ?00S11 00S11 ?000S111 000S111 S ?0S1 ?00S11 ?000S111 S =+ S =* S 00S11 =* 00S11 ;What are Derivations;句型、句子的定义;;文法，语言的定义;例 文法G[S]： （1）S→aSBE （2）S→aBE （3）EB→BE （4）aB→ab （5）bB→bb （6）bE→be （7）eE→ee L（G）={ anbnen | n≥1 } ;;;文法的等价;文法的类型;A hierarchy of grammars;;文法的类型;文法的类型;3型文法;;文法和语言;文法和语言;根据形式语言理论,文法和识别系统间有这样的关系;; 2型文法（上下文无关文法CFG）：产生式的形式为A→β，β取代A时与A的上下文无关。其识别系统是不确定的下推自动机。Context-Free Grammar 3型文法（正规文法RG）：产生的语言是有穷自动机（FA）所接受的集合; 3型文法产生的语言是有穷自动机（FA）所接受的集合.;G［Ｓ］： S→aA|bB A→bB|aD|a B→aA|bD|b D→aD|bD|a|b;定理 已知一有穷自动机M= (K, ∑ , f, A, Z),存在有一个3型文法G = （VN，VT，P，S）,使得L(G)=L(M) G 的定义： · VT =∑ · VN= K · S = A · 若 f(D,t)=B ，则D→tB在P中 若 f(D,t)=B ，且B在Z中，则D→t在P中 ;G［Ｓ］： S→aA|bB A→bB|aD|a B→aA|bD|b D→aD|bD|a|b ;正规文法和正规式 对?上的正规式r ,存在一个RG=(VN,VT,P,S)：L(G)=L(r);例 r=a(a?d)?;正规文法和正规式 对G=(VN,VT,P,S),存在一个? =VT上的正规式r : L(r)=L(G);正规文法和正规式;上下文无关文法及其语法树;;句型、推导;规范推导 规范句型;语法树;语法树---句型推导的直观表示;构造语法树;;上下文