编译原理与2.3.3-文法类型 .pptVIP

2.3.3 形式语言鸟瞰 一、文法的四种类型 二、文法四种类型的包含关系 三、文法四种类型的描述能力 一、文法的四种类型 乔姆斯基(Chomsky) 产生式α→β, V = VN∪VT α∈V+ , β ∈ V* 对产生式施加不同的限制 文法的四种类型: 0型、1型、2型和3型 0型文法 (短语文法) －PSG Phrase Structure Grammar α→β, α∈V+ , β ∈ V* α至少含有一个非终结符 0型文法的能力相当于图灵机 任何0型语言都是递归可枚举的； 递归可枚举集必定是一个0型语言 1型文法 (上下文有关文法) CSG Context-Sensitive Grammar 定义1: 每个产生式α→β均满足|α|≤|β| ， (仅仅S→ε例外, 但S不出现在其他产生式的右边 ) 定义2: 产生式的形式: αAβ→αγβ , γ≠ε 即左部的一个非终结符在推导时,它左右的字符串必须保持原样. 2型文法(上下文无关文法) Context-Free Grammar CFG 产生式的形 式: A→β