例4.11   文法G=(｛E｝,｛+,*,i,(,)｝,P,E)其中P为： E→i　　E→E+E　　E→E*E　　E→(E) 　　这里的非终结符E表示一类算术表达式。i表示程序设计语言中的"变量"，该文法定义了(描述了)由变量，+，*,(和)组成的算术表达式的语法结构，即： 变量是算术表达式； 若E1和E2是算术表达式，则E1+ E2，E1*E2和(E1)也是算术表达式。 例4.12   描述语句的产生式：〈语句〉→〈条件语句〉|〈赋值语句〉|〈循环语句〉… 描述一种简单赋值语句的产生式为：〈赋值语句〉→i∶=E 描述条件语句的产生式： 〈条件语句〉→if〈条件〉then〈语句〉|if〈条件〉then〈语句〉else〈语句〉 因此我们关心上下文无关文法形成的语言的句子的分析和分析方法的研究。今后，对"文法"一词若无特别说明，则均指上下文无关文法。