【单选题】

若文法G0=(a,b,S,X,Y,P,S)，P中的产生式及其序号如下，则G0为 (27) 型文法，对应于 (28) ，由G0推导出句子baabbb时，所用产生式序号组成的序列分别为 (29) 。

1：S→XaaY
2：X→YY|b
3：Y→XbX|a
A．图灵机
B．下推自动机
C．其他自动机
D．有限状态自动机