关于“上下文无关文法”的问题

来源：百度知道 编辑：UC知道 时间：2024/06/25 08:24:25
程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法G=(N，T，P，S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号。令集合V= N∪T，那么G所描述的语言是 （50） 的集合。
（50）A. 从S出发推导出的包含V中所有符号的串
B. 从S出发推导出的仅包含T中符号的串
C. N中所有符号组成的串
D. T中所有符号组成的串

这个题目为什么选择B呢？

B吧,是编译原理题,给你参考吧,我有点忘了.推出的语言是终结符的串

比如：S -> aSb | ε ,

它产生的语言就是a^nb^n,(n ≥ 0),这里的终结符是,a,b ,非终结符S是不能作为最后语言的,它必须推出空字的时候结束.

这题强调的是生成了什么语言,产生式里包含了非终结符,非终结符只是产生终结符的一个推导过程,不能作为最后的形式,最后的形式也就是语言,是终结符组成的串.

你可以用列举法啊

哎，编译原理忘光了