文法G=(V_T，V_N，P，S)的类型由G中的 (1) 决定。若GO=(a，b，S，X， Y，P，S)，P中的产生式及其序号如下：
1：S→XaaY
2：X→YY|b
3：Y→XbX|a
则GO为 (2) 型文法，对应于 (3) ，由GO推导出句子aaaa和baabbb时，所用产生式序号组成的序列分别为 (4) 和 (5) 。

2（）