compiler_ch21概要.ppt

Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.5 文法和语言的类型 例2.19 设有文法G3 S → Bc | Sc B → Ab | Bb A → Aa | a G3是3型文法 不难验证，G3产生的语言： L(G3) ={anbmck | n,m,k≥1} Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.5 文法和语言的类型 0型文法 L0 1型文法 L1 2型文法 L2 3型文法 L3 图灵机 线性有界自动机 非确定下推自动机 确定有限自动机 5．四类文法和语言小结及关系 Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.5 文法和语言的类型 0型 ? 1型 ? 2型 ? 3型 （L0 ? L1 ? L2 ? L3） 产生式限制越来越严 描述功能越来越强 5．四类文法和语言小结及关系 限制 强 弱 0 2 1 3 A → α Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.2 文法和语言的定义 例如， 设有 A={01,10} 则 A* ={ ε，01，10，0110，1001，010101， 100110，…} A+ ={ 01，10，0110，1001，010101， 100110，…} Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.2 文法和语言的定义 串集合运算应用： 设有 L={A..Z, a..z } D={ 0,1,2, …,9 } 1) L ∪ D={ 由字母和数字构成的集合 } 2) LD={ 所有一个字母后跟随一个数字组成的字符 串的集合 } 3) L*={ 由所有字母按任意顺序组成的字符串 （含ε ）所构成的集合 } 4) L( L∪D )*={ 由所有一个字母开头后跟随字母 或数字组成的字符串或ε的集合 } Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.2 文法和语言的定义 2.1.2 文法和语言的定义 一. 二. 三. 四. 字符和字符串 文法形式定义 字符串运算 语 言 Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.2 文法和语言的定义 四. 语言 1. 语言的非形式化定义 给定一部文法G, 从G的开始符号S出发，反复使 用产生式对非终结符进行替换，最后所得到的终结符 号串的全体，即为文法G所描述的语言L（G）。 例2.3 : 设有文法G S → P | aPb P → ba | bQa Q → ab 则： L(G)={ba, abab, baba, ababab} Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.2 文法和语言的定义 S ? P ? ba S ? aPb ? abab S ? P ? bQa ? baba S ? aPb ? abQab ? ababab Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.2 文法和语言的定义 定义2.10 ( 直接推导 “ = ” ) 有V=αAβ=αγβ=W(α,β,γ∈(VN∪VT)*),当且 仅当P中存在一条规则A γ，称V直接推导出W （或 W直接归约到V），记作：V = W。 定义2.11 ( 直接推导序列 ) 如果存在V= α 0= α 1, α 1=α 2,…, α n-1= α n= W 或α 1= α 2= α 3= … = α n-1= α n， + 则V经过n步(n0)可以推导出 W，记作: V = W 。当 + * V = W或V = W，记作：V = W。 Ch2 形式语言自动机理论基础 2.1 文法和语言 2.1.2 文法和 语言的定义 定义2.12 (最左(右)推导) 在推导过程中，总是对句型中的最左(右)边的非 终结符进行替换，称为最左(右)推导。 定义2.13 ( 句型 ) * α为G[S]的句型 。 定义2.14 ( 句子 ) * G[S]的句子。 Ch2 形式语言自动机理论基