单项选择题
已知文法G[S]是无二义的，它定义的语言L（G[S]）中的一个句子x和一个句型y，下面正确的是（）
A.一定存在S到x的最左推导B.一定会有S到y的两种不同的推导C.一定存在S到y的最左推导D.一定存在唯一与x对应的语法树
单项选择题 仅含（）的句型是一个句子。
单项选择题 给定文法A→bAa|b，下面的符号串可由其推导出的是（）
单项选择题 程序语言主要由（）和语义两个方面的定义。其中（）是一组规则，用它可以形成和产生一个合式的程序。（）是一组规则，用它可以定义一个程序的意义。
