单项选择题

A.文法的开始变量可以有多个
B.对于任意的文法中任意的字符串的推导均唯一
C.变量的集合与终结符的集合不交
D.产生式是从变量的集合到终结符集合的星闭包上的映射