31上下文无关文法 312推导 把产生式看成重写规则,把符号串中的非终结符 用其产生式右部的串来代替 例E→E+E|E*E|(E)|-E|id E→-E→-(E)→-(E+B→-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