【单选题】

文法G=(V_T，V_N，P，S)的类型由G中的 (21) 决定。若GO=(a，b，S，X， Y，P，S)，P中的产生式及其序号如下：

1：S→XaaY
2：X→YY|b
3：Y→XbX|a
则GO为 (22) 型文法，对应于 (23) ，由GO推导出句子aaaa和baabbb时，所用产生式序号组成的序列分别为 (24) 和 (25) 。
A．图灵机
B．下推自动机
C．有限状态自动机
D．其他自动机