形式语言是进行形式化工作的元语言,它是以数学和数理逻辑为基础的科学语言。形式语言的基本特点有:有一组初始的、专门的符号集;有一组精确定义的,由初始的、专门的符号组成的符号串转换成另一个符号串的规则。在形式语言中,不允许出现根据形成规则无法确定的符号串。例子:语言X定义为:初始符号集:{a,b,c,d,e,(,),+,-,´,¸}。形成规则:上述符号组成的有限符号串中,构成表达式的为一个公式,否则不是。则语言X为一种形式语言。()
第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题:
句型是由什么推导出的符号串()。
A、非终结符
B、终结符
C、任何符号
D、开始符号
第3题:
A推演
B推导
C形式描述
D形式语言
第4题:
已知文法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倍
第5题:
设有穷自动机的状态转换图如下图,该自动机识别的语言是(29)。
A.∑={0,1)上的所有符号串的集合,但不包含空符号串
B.空符号串集合
C.∑={0,1)上的所有符号串的集合,包含空符号串
D.空集合
第6题:
下列符号串中,合法的C语言标识将是( )
A._121
B.121_
C.121
D.121
第7题:
第8题:
一个文法能用有穷多个规则描述无穷的符号串集合(语言)是因为文法中存在有()定义的规则。
第9题:
一个文法G={N,T,P,S},其中N是非终结符号的集合,T是终结符号的集合,P是产生式集合,S是开始符号,令集合V=N∪T,那么G所描述的语言是()的集合。
第10题:
隐喻性符号
象征性符号
装饰性符号
结构性符号
第11题:
由S推导出的所有符号串
由S推导出的所有终结符号串
V中所有符号组成的符号串
V的闭包中的所有符号串
第12题:
第13题:
文法G所描述的语言是______的集合。
A.文法G的字符表V中所有符号组成的符号串
B.文法G的字符表V的闭包V*中的所有符号串
C.由文法的识别符号推出的所有符号串
D.由文法的识别符号推出的所有终结符号串
第14题:
此题为判断题(对,错)。
第15题:
A.图形语言
B.形象语言
C.未来语言
D.“形式化语言”
第16题:
已知文法C[A],它定义的语言描述为(1)。 G[A]:A→0B|1C B→1 |1A|0BB C→0 |0A|1CC
A.G[A]定义的语言由0、1符号串组成,或者串中1的个数是0的个数2倍,或者串中0的个数是1的个数2倍
B.G[A]定义的语言由0、1符号串组成,串中0的个数是1的个数2倍
C.G[A]定义的语言由0、1符号串组成,串中1的个数是0的个数2倍
D.G[A]定义的语言由0、1符号串组成,串中0和1的个数相同
第17题:
此题为判断题(对,错)。
第18题:
第19题:
第20题:
每个非终结符产生的终结符号串都是该语言的子集。
第21题:
隐喻型符号
象征性符号
装饰型符号
结构性符号
第22题:
文法G的字母表V中所有符号组成的符号串
文法G的字母表V的闭包V*中的所有符号串
由文法的开始符号推出的所有终极符串
由文法的开始符号推出的所有符号串
第23题:
类似型符号
指示型符号
隐喻型符号
指引型符号
第24题:
对
错