上下文无关文法的形式化组成是(VT,VN,S,P),其中VT的含义是
A. 开始符
B. 终结符
C. 非终结符
D. 产生式
下列文法中,( )不是产生语言{abna|n>=1}的文法
A→aBaB→b|bB
B. A→aBB→ba|bB
C. A→aBB→bCC→bC|a
D. A→aBB→ba|bBa
下列文法中,( )不是产生语言{a2n+1|n>=1}的文法
A→aBaB→a|aBa
B. A→aBB→aa|Baa
C. A→aAAA→a
D. A→aBBB→a|aBB
E. A→aBB→aa|Baa
若文法G定义的语言是无限集,则文法G必然是( )
A. 上下文无关文法
B. 递归文法
C. 二义性文法
D. 非二义性文法