32语言和文法 323验证文法产生的语言 G:S→(S)S|EL(O)=配对的括号串的集合 按推导步数进行归纳:推出的是配对括号串 归纳基础:S→E 归纳假设:少于n步的推导都产生配对的括号串 归纳步骤:n步的最左推导如下: S→(S)S→*(x)S→*(x)3.2 语言和文法 3.2.3 验证文法产生的语言 G : S → (S) S | L(G) = 配对的括号串的集合 • 按推导步数进行归纳:推出的是配对括号串 –归纳基础: S – 归纳假设:少于n步的推导都产生配对的括号串 – 归纳步骤:n步的最左推导如下: S (S)S * (x) S * (x) y