文法中使用的元符号：
→或 ∷= 表示左部由右部定义
| 表示定义同一个左部的几个可选择的右部
源符号
文法定义的语言中的符号，全部由文法的终结符构成。
例4.3设G=(Vn，VT，P，S)， Vn={S,B,E}， VT={a,b,e}，P由下列产生式组成：
(1) S→aSBE
(2) S→aBE
(3) EB→BE
(4) aB→ab
(5) bB→bb
(6) bE→be
(7) eE→ee
例4.1和例4.2都是较简单的文法的例子，比较容易确定哪些符号串可以从文法推导出来，哪些符号串不能从文法推导出来。一般说来，确定文法将产生什么可能是很困难的。如现在的例子(例4.3)就较为困难。
看出，使用产生式(1)一次，可得到句型aSBE，接下去再使用产生式（1）一次可得到句型aaSBEBE，得到推导序列S
aSBEaaSBEBE,
若接下去使用产生式（2）一次，便得到句型aaaBEBEBE。接着，使用产生式（3）一次，形成的推导序列为：SaSBEaaSBEBEaaaBEBEBEaaBBEEBE，再使用产生式（3）一次，形成的推导序列为：SaSBEaaSBEBEaaaBEBEBEaaaBBEEBEaaBBEBEE，再使用产生式（3）一次，形成的推导序列为：SaSBEaaaSBEBEaaaBEBEBEaaaBBEEBEaaaBBEBEEaaaBBBEEE
即 a3B3E3下面，依次使用产生式（4）一次，产生式（5）二次，产生式（6）一次，产生式（7）二次，形成的推导序列为：
S
aSBEaaaSBEBEaaaBEBEBEaaaBBEEBEaaaBBEBEEaaaBBBEEE
aaabBBEEEaaabbBEEEaaabbbEEEaaabbbeEEaaabbbeeEaaabbbeee
，即 a3b3e3