编译原理-文法类型.pptxVIP

2.3.3 形式语言鸟瞰 一、文法的四种类型二、文法四种类型的包含关系三、文法四种类型的描述能力第一页，共二十四页。 一、文法的四种类型乔姆斯基(Chomsky) 产生式α→β, V = VN∪VT α∈V+ , β ∈ V* 对产生式施加不同的限制 文法的四种类型: 0型、1型、2型和3型第二页，共二十四页。 文法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型文法(上