2.3.3-文法类型.pptVIP

2.3.3 形式语言鸟瞰 一、文法的四种类型 二、文法四种类型的描述能力 一、文法的四种类型 乔姆斯基(Chomsky) 产生式α→β, V = VN∪VT α∈V+ , β∈V* 对产生式施加不同的限制 文法的四种类型: 0型、1型、2型和3型 文法四种类型的包含关系 0型文法 (短语文法) PSG α→β, α∈V+ , β ∈ V* α至少含有一个非终结符 * 0型文法的能力相当于图灵机 * 任何0型语言都是递归可枚举的； 递归可枚举集必定是一个0型语言 1型文法 (上下文有关文法) CSG 定义1:每个产生式α→β均满足|α|≤|β| (仅仅S→ε例外,但S不出现在其他产生式的右边) 定义2:产生式的形式:αAβ→αγβ,γ≠ε 即左部的一个非终结符在推导时,它左右的字符串必须保持原样. 文法G是1型文法吗? * 补充定理 有关上下文无关文法中的ε规则 若L是由文法G产生的语言, G中每个产生式的形式均为A→α， A∈VN，α∈V* , (α可为ε) 则L能由这样的一种文法产生，即: 每个产生式 或者为A→β形式，β∈V＋ 或者为S→ε的形式， 且S不在任何产生式的右边 2型文法(上下文无关文法) CFG 产生式的形式: A→β A∈VN ， β∈V* 3型文法(正规文法, 正则文法) RG 右线性文法: A→αB 或 A→α, α?VT* 左线性文法: A→Bα 或 A→α, α?VT* 补充: 3型文法的另一个定义 右线性文法: A→aB 或 A→a , a?VT 左线性文法: A→Ba 或 A→a , a?VT 请判断以下文法的类型 G1: S→CD Ab→bA C→aCA Ba→aB C→bCB Bb→bB AD→aD C→a BD→bD D→b Aa→bD G1是上下文有关文法 请判断以下文法的类型 G2:S→aB, A→bAA　　 S→bA, B→b　　 A→a, B→bS　　 A→aS, B→aBB G2是上下文无关文法 请判断以下文法的类型 G3:S→0A A→1B S→1B B→1B S→0 B→1 A→0A B→0 A→0S G3是正规文法 请判断以下文法的类型 G4： I→ lT | l T→ lT | dT | l | d 其中l 表示a～z中的任何一英文字母，d 表示0～9中的任一数字。 G4是正规文法 二、文法四种类型的描述能力 0型文法描述的语言: 0型语言 1型文法描述的语言: 1型语言、上下文有关语言 2型文法描述的语言: 2型语言、上下文无关语言 3型文法描述的语言: 3型语言、正规语言 L(Ti)第i型语言的集合 补充例 以下语言是____型语言 L = { an bam | n,m≥1 } 以下语言是____型语言 L ={ anban | n≥1 } ↓ G: S→aAa, A→aAa, A→b * 语言集合之间的包含关系 L(T3)? L(T2) ? L(T1) ? L(T0) L(T3)? L(T2) 存在一个语言是2型语言而非3型语言 L(G) = { anbn |n≥1 } 无法用正规文法 生成 ↓ G: S→aSb|ab L(T2)? L(T1) 存在一个语言是1型语言而非2型语言 L1 = { anbmanbmccc| n,m≥1 } 无法用上下文无关 文法生成 L2 = { anbncn | n≥1 } 无法用上下文无关 文法生成 L3 = { anbnci | n≥1, i≥1} 是上下文无关 语言 L(T1) ? L(T0) 存在一个语言是0型语言而非1型语言 L={ αcα | α∈(a|b)* } 只能用0型文法生成 * 补充: 文法和识别系统 0型文法 - 图灵机 1型文法 - 线性界限自动机 2型文法 - 不确定的下推自动机 3型文法 - 有穷自动机 * YTU 文法 0型文法 1型文法 2型文法 3型