形式语言自动机—上下文无关文法与下推自动机(三).pptVIP

fall 2001 §4.3 Chomsky范式和Greibach范式 Chomsky范式定义： 2型文法G＝（N，T，P，S），若生成式形式都是A→BC和A→a，A、B、C∈N，a∈T，则G是Chomsky范式。若ε∈L（G），则S→ε是P的一个生成式，但S不能在任何其它生成式的右边。 每个上下文无关文法都具有等效的CNF（定理4.3.1） CNF 的构成步骤 1. 用算法1、2、3、4消除ε生成式、无用符号、单生成式 2. 对生成式A→D1D2…Dn n≥2 若Di∈T，则引入新生成式Bi→Di，Bi是新非终结符 若Di∈N，则令Bi＝Di，从而将原生成式变化为 A→B1B2…Bn n≥2 当n2 时，再将其变为 A→B1C1，C1→B2C2，C2→B3C3，…，Cn－1→Bn－1Bn Ci是新引入的非终结符。 定理证明――自学 Greibach范式 Greibach范式 (GNF)定义： 2型文法G＝（N，T，P，S），若生成式的形式都是A→aβ，A∈N，a∈T，β∈N*，且G不含ε生成式，则称G为Greibach范式，记为GNF。 任何2型文法都具有等效的GNF（定理4.3.2） GNF 的构成步骤 1. 将2型文法变换为CNF。（A→a，A→BC形式）