单项选择题

文法G=(V T ,V N ,P,S)的类型由G中的______决定。若G 0 =({a,b},{S,X,Y},P,S),P中的产生式及其序号如下。
①S→XaaY
②X→YY|b
③Y→XbX|a
则G 0 为______型文法,对应于______,由G 0 推导出句子aaaa和baabbb时,所用产生式序号组成的序列分别为______和______。

A.0
B.1
C.2
D.3