程序设计语言编译原理温故知新温故知新温故知新温故知新E(E)(E+E)(i+E)(i+i)温故知新温故知新例：考虑文法G1定义的语言。G1:S→bAA→aA|a例：考虑文法G2定义的语言。G2：S→ABA→aA|aB→bB|bL(G2)={ambn|m,n≥1}例：构造一个文法G3使L(G3)={anbn|n≥1}2.3.1上下文无关文法2.3.1上下文无关文法2.3.1上下文无关文法2.3.2语法分析树与二义性2.3.2语法分析树与二义性2.3.2语法分析树与二义性2.3.2语法分析树与二义性2.3.2语法分析树与二义性2.3.2语法分析树与二义性2.3.2语法分析树与二义性练习ETT*FT*(E)T*(E+T)T*(E+F)T*(E+i)T*(T+i)T*(F+i)T*(i+i)F*(i+i)i*(i+i)1.不能有形如：P→P的产生式；上下文无关文法2.3.3形式语言鸟瞰温故知新