编译原理 文法和语言.ppt

第三章 文法和语言;本章内容 ;3.1 文法的直观概念;3.2 符号和符号串;3.2 符号和符号串;3.2 符号和符号串;例 ：符号串s=banana 前缀：?,b,ba,ban,bana,banan,banana 后缀：banana,anana,nana,ana,na,a, ? 子串: banana,anana,banan,anan,…, ? 真前缀，真后缀，真子串: x≠s?x ≠ ? 子序列: baa(这些符号不要求是连续的） 逆转：ananab 长度：?banana?=6;三、符号串的运算 1.连接：设x和y是符号串，它们的连接 xy是把y的符号写在x的符号之后得到的符号串。例如，x=ba,y=nana,xy=banana. 2.方幂：x0=?; x1=x; x2=xx; …; xn=xn-1x; 例: x=ba 则 x1= ba; x2=baba; x3=bababa;…;四. 符号串集合(语言）的运算 设L和M是两个符号串集合，则 1.合并：L∪M＝｛s|s?L or s?M} 2.连接：LM＝｛ st|s?L and t?M} 3.方幂： L0={ε}， L1＝L， L2＝LL, ..., Ln＝Ln-1L 4. 语言L的闭包，记作L*， L*＝∪Li(i=0) =L0∪L1∪L2∪L3 ∪… 5．语言L的正闭包，记作L+（L+＝L L*） L+＝∪Li(i =1) =L1∪L2∪L3∪L4∪…; 例如：L={A~Z,a~z} D={0~9} 1．L∪D={A~Z,a~z ,0~9} 2．LD是由所有用一个字母后跟一个数字组成的符号串所构成的集合。 3．L4是由所有的四个字母的符号串构的集合。 4．L（L∪D)* 是由所有的字母打头的字母和数字组成的符号串所构成的集合. 5．D+是由所有的长度大于等于1的数字串所构成的集合.;文法的定义 推导的概念 句型、句子和语言的定义;文法定义;文法的定义;例: 文法G=（VN，VT，P，S） VN ={标识符，字母，数字} VT ={a,b,c,…x,y,z,0,1,…,9} P={标识符→字母 标识符→标识符字母 标识符→标识符数字 字母→a … 字母→z 数字→0 … 数字→9 } S=标识符;元符号: → | 一般不用将文法G的四元组显式的写出来，只写出产生式即可，并约定第一条产生式的左部为识别符。习惯上大写字母表示非终结符，小写字母表示终结符，有时也将G写为G[S];推导的定义;推导的定义;推导的定义;例： G： S→0S1， S→01 0S1 ?00S11 00S11 ?000S111 000S111 ?? S ?0S1 ?00S11 ?000S111 S =+ S =* S 00S11 =* 00S11 ;句型、句子的定义;句型、句子;(文法生成的)语言的定义;例 文法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 } G生成的每个串都在L(G)中 L(G)中的每个串确实能被G生成 分析参见课本P37.;文法的等价;3.4 文法的类型;3.4 文法的类型;3.4 文法的类型;3.4 文法的类型; 3型文法：任一产生式的形式都为A→aB或A→a，其中A∈VN ，B∈VN ，a∈VT* 3型文法又叫正规文法，产生的语言为3型语言（正规语言），是有穷自动机所接受的集合。 高级程序设计语言的单词符号，如标识符、无符号整数等都是采用3型文法来描述的。;3.4 文法的类型;3.4 文法的类型;3.5 上下文无关文法及其语法树; 语法树的定义 设G=( VN,VT,P,S)为一上下文无关文法，若一棵树满足下列4个条件，则此树为G的语法树(推导树)(派生树） 1. 每个结点都有一个标记，此标记是V的一个符号 2. 根的标记是S 3. 若一结点n至少有一个它自己除外的子孙，并且有标记A，则肯定A∈VN 4. 如果结点n的直接子孙从左到右依次为n1，n2，…，nk，并且标记分别为A1，A2，…，Ak，那么A→A1A2，…，Ak一定是P中的一个产生式;语法树的结果： 从左到右读出叶子的标记而构成的符号串即为语法树的结果;句型aabbaa的可能推