相关考题
-
单项选择题
已知文法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
