一个2型文法G包括四个组成部分：有限个非终结符，一组终结符号，一个开始符号，以及一组（）。

一个2型文法G包括四个组成部分：有限个非终结符，一组终结符号，一个开始符号，以及一组（）。
A.候选式
B.句型
C.单词
D.产生式
正确答案：D