3.1上下文无关文法 3.1.2推导 把产生式看成重写规则，把符号串中的非终结符 用其产生式右部的串来代替 。例E>E+ElE*E引(E)|-Eld E→-E→-(E)→-(E+E)→-(id+E)→-(id+id 概念 一上下文无关语言、等价的文法、句型 记号 S→*a、S→+w3 1. 上下文无关文法 3.1.2 推导 – 把产生式看成重写规则，把符号串中的非终结符 用其产生式右部的串来代替 • 例 E  E + E | E  E | (E ) |  E | id E  E  (E)  (E + E)  (id + E)  (id + id) • 概念 – 上下文无关语言、等价的文法、句型 • 记号 S *、 S + w