更多"程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法"的相关试题:
[单项选择]程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法G=（N，T，P，S），其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号。令集合V=N∪T，那么G所描述的语言是（）的集合。
A. 从S出发推导出的包含尸中所有符号的串
B. 从S出发推导出的仅包含厂中符号的串
C. N中所有符号组成的串
D. T中所有符号组成的串
[单项选择]设某语言的语法规则用上下文无关文法G=（N，T，P，S）表示，其中Ⅳ是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号，令V=N∪T，那么符合该语言的句子是（）。
A. 从S出发推导的、仅包含T中符号的符号串
B. 从N中符号出发推导的、仅包含T中符号的符号串
C. 从S出发推导的、包含V中符号的符号串
D. 从N中符号出发推导的、包含V中符号的符号串
[单项选择]设某语言的语法规则用上下文无关文法G=（N，T，P，S）表示，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号，令V=N∪T，那么符合该语言的句子是（）。
A. 从S出发推导的、仅包含T中符号的符号串
B. 从N中符号出发推导的、仅包含T中符号的符号串
C. 从S出发推导的、包含V中符号的符号串
D. 从N中符号出发推导的、包含V中符号的符号串
[单项选择]设某上下文无关文法如下：S→11|1001|S0|SS，则该文法所产生的所有二进制字符串都具有的特点是（）。
A. 能被3整除
B. 0、1出现的次数相等
C. 0和1的出现次数都为偶数
D. 能被2整除
[单项选择]设某上下文无关文法为：S→11|1001|S0|SS，则该文法所产生的所有二进制字符串都具有的特点是（）。
A. 能被3整除
B. 0、1出现的次数相等
C. 0和1的出现次数都为偶数
D. 能被2整除
[单项选择]设语言L=w|w∈a，b+且w中a和b的个数相等，产生语言L的上下文无关文法是（）。
A. Ga=(VT=a,b，VN=S，A，B，S,P)，其中P为，
B. Gb=(VT=a,b，VN=S,A,B，S,P)，其中P为，
C. Gc=(VT=a,b，VNS,A,B，S,P)，其中P为，
D. Gd=(VT=a,b，VN=S，A，B，S,P)，其中P为，
[单项选择]
根据乔姆斯基20世纪50年代建立的形式语言的理论体系，语言的文法被分为四种类型，即：O型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与 (66) 等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价 (67) 。从文法描述语言的能力来说， (68) 最强， (69) 最弱，由四类文法的定义可知： (70) 必是2型文法。
（66）处填（）。
A. 确定的有限自动机
B. 图灵机
C. 非确定的下推自动机
D. 非确定的有限自动机
E. 有限自动机 线性有限自动机
