若文法G定义的语言是无限集，则文法必然是（）

• A、
  上下文无关的
• B、
  二义性的
• C、
  无二义性的
• D、
  递归的