单项选择题
已知文法G[S]是无二义的，它定义的语言L（G[S]）中的一个句子x和一个句型y，下面正确的是（）
A.一定存在S到x的最左推导
B.一定会有S到y的两种不同的推导
C.一定存在S到y的最左推导
D.一定存在唯一与x对应的语法树
点击查看答案&解析
相关考题
-
单项选择题
仅含（）的句型是一个句子。
A.终结符
B.非终结符
C.非终结符和终结符
D.开始符号、非终结符和终结符 -
单项选择题
给定文法A→bAa|b，下面的符号串可由其推导出的是（）
A.bab
B.bba
C.baa
D.bbba -
单项选择题
程序语言主要由（）和语义两个方面的定义。其中（）是一组规则，用它可以形成和产生一个合式的程序。（）是一组规则，用它可以定义一个程序的意义。
A.语法，语法、语义
B.语法、语义、语义
C.词法、词法、语义
D.词法、语义、词法
