问题
单项选择题
程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法G=(N,T,P,S),其中N是非终结符号的集合,T是终结符号的集合,P是产生式集合,S是开始符号。令集合V=N∪T,那么G所描述的语言是()的集合。
A.从S出发推导出的包含V中所有符号的串
B.从S出发推导出的仅包含T中符号的串
C.N中所有符号组成的串
D.T中所有符号组成的串
答案
参考答案:B
解析:
若V∈N∪V,根据上下文无关文法的特性,V总可以被字符串N∪V自由地替换。但当V=N∪T时,由于非终结符的不唯一性,要构成等式成立,必须要N∪T中的符号串收缩为终结符,即都是T的集合。所以上下文无关文法G描述的语言是从S出发推导出的仅包含T中符号的串的集合。