单项选择题

已知文法G[S]是无二义的,它定义的语言L(G[S])中的一个句子x和一个句型y,下面正确的是()

A.一定存在S到x的最左推导
B.一定会有S到y的两种不同的推导
C.一定存在S到y的最左推导
D.一定存在唯一与x对应的语法树