第1题：
设某语言的语法规则用上下文无关文法G=(N，T，P，s)表示，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，s是开始符号，令V=N∪T，那么符合该语言的句子是( )。
A．从s出发推导的、仅包含T中符号的符号串
B．从N中符号出发推导的、仅包含T中符号的符号串
C．从S出发推导的、包含V中符号的符号串
D．从N中符号出发推导的、包含V中符号的符号串
第2题：
一个属性文法包含一个上下文无关文法和一系列语法规则。()
第3题：
A. 短语文法
B. 上下文无关文法
C. 上下文有关文法
D. 正规文法
第4题：
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，文法被分为4种类型，即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与(1)等价，所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说，(3)最强，(4)最弱，由4类文法的定义可知(5)必是2型文法。
A．确定的有穷自动机
B．图灵机
C．非确定的下推自动机
D．非确定的有穷自动机
E．有穷自动机
第5题：
A描述规则
B描述语言
C描述文法
D描述句子
第6题：
文法G所描述的语言是______的集合。
A.文法G的字符表V中所有符号组成的符号串
B.文法G的字符表V的闭包V*中的所有符号串
C.由文法的识别符号推出的所有符号串
D.由文法的识别符号推出的所有终结符号串
第7题：
若消除文法中的ε-产生式，将会改变文法所定义的语言，故不能消除ε-产生式。()
第8题：
●已知文法G[A]，它定义的语言描述为糧 (1) 。
G[A]:A → 0B｜1C
B → 1｜1A｜0BB
C → 0｜0A｜1CC
(1) A．G[A]定义的语言由0、1符号串组成，或者串中1的个数是0的个数2倍，或者串中0的个数是1的个数2倍
B．G[A]定义的语言由0、l符号串组成，串中0的个数是1的个数2倍
C．G[A]定义的语言由0、1符号串组成，串中1的个数是0的个数2倍
D．G[A]定义的语言由0、1符号串组成，串中0和1的个数相同
第9题：
已知文法G[A]，它定义的语言描述为(39)。 G[A]：A→0B|1C B→1|1A|OBB C→O|OA|lCC
A．G[A]定义的语言由0、1符号串组成，串中0和1的个数相同
B．G[A]定义的语言由0、1符号串组成，串中0的个数是1的个数2倍
C．G[A]定义的语言由0、1符号串组成，串中1的个数是0的个数2倍
D．G[A]定义的语言由0、1符号串组成，或者串中1的个数是0的个数2倍，或者串中0的个数是1的个数2倍
第10题：
在Chomsky定义的4种形式语言文法中，0型文法又称为(51)文法；1型文法又称为(52)文法；2型语言可由(53)识别。
A．短语结构文法
B．上下文无关文法
C．上下文有关文法
D．正规文法