首页/ 题库 / [问答题]若一个文法是递归的,则它所产生的语言的句的答案

若一个文法是递归的,则它所产生的语言的句子是可枚举的吗?

问答题
2022-01-11 23:58
查看答案

正确答案

它所产生的语言的句子不是可枚举的,而是无穷多个。


试题解析

感兴趣题目
若一个文法是递归的,则它所产生的句子个数()。
●计算机高级程序语言一般可分为编译型和解释型两类,下列语言:Ⅰ.JavaⅡ.FortranⅢ.C哪个(些)一般是编译型语言? (20) 。(20)
计算机高级程序设计语言一般可分为编译型和解释型两类,下列语言:Ⅰ.BasicⅡ.CⅢ.Fortran(48)一般是编译型语言。
以下说法错误的是A.高级语言都是用接近人们习惯的自然语言和数学语言作为语言的表达形式B.计算机只能处理由0和1的代码构成的二进制指令或数据C.C语言源程序经过C语言编译程序编译之后生成一个后缀为.EXE的二进制文件D.每一种高级语言都有它对应的编译程序
如果文法G是无二义的,则它的任何句子α_____。( )
以下陈述完全正确的是:( )。 ①LR(K)文法是无二义性文法 ②LR(K)文法可能是左递归文法 ③LL(K)文法是无二义性文法 ④LL(K)文法可能是左递归文法 ⑤简单优先文法是无二义性文法 ⑥简单优先文法肯定是无左递归文法
一个文法是递归的,则它产生的语言的句子个数( )。
文法G产生的语言是无穷的,当且仅当文法是递归的。( )
设G是一个给定的文法,S是文法的开始符号,如果S x(其中x∈VT*),则称x是句法的一个句子。( )
某数值编码为FFH,若它所表示的真值为-127,则它是用(1)表示的;若它所表示的真值为-1,则它是用(2)表示的。
某数值编码为FFH,若它所表示的真值为–127,则它是用()表示的;若它所表示的真值为–1,则它是用()表示的。
●某数值编码为FFH,若它所表示的真值为-127,则它是用 (1) 表示的;若它所表示的真值为-1,则它是用 (2) 表示的。
相关题目
一个文法,如果存在某个句子有不止一棵分析树与之对应,那么称这个文法是二义的。
二义文法是至少存在一个句子有不止一个最左(最右)推导的文法。
如果一个文法G是无二义性文法,对于任何一个句子,该句子()。
计算机程序中,用高级语言编写的程序经编译后产生的程序叫( ) 。
如果一个文法存在某个句子对应两棵不同的语法树,则文法是二义性的。 ( )
计算机程序中,用高级语言编写的程序经编译后产生的程序叫( ) 。
由文法 编译原理所定义的语言是:____
如果文法G存在一个句子,满足下列条件 之一时,则称该文法是二义文法。
某数值编码为FFH,若它所表示的真值为-127,则它是用(5)表示的;若它所表示的真值为-1,则它是用(6)表示的。
某数值编码为FFH,若它所表示的真值为-127,则它是用(10)表示的;若它所表示的真值为-1,则它是用(11)表示的。
高级语言编译程序常用的语法分析方法中,递归下降分析法属于()分析方法。
在每一个枚举类型中,默认编译的情况下,我们最多只能定义( )个值。
一个文法所描述的语言是();描述一个语言的文法是()。
文法G产生的()的全体是该文法描述的语言。
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,语言的文法被分为 4种类型,即0型(短语文法),1型(上下有关文法)、2型(上F文无关文法)和3型(正规文法)。其中,2型文法与(56)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(57)。从文法描述语言的能力来说,(58)最强,(59)最弱,山4类文法的定义可知:(60)必是2型文法。
若文法G定义的语言是无限集,则文法必然是()
若一个文法是递归的,则它所产生的语言的句子是可枚举的吗?
●根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,语言的文法被分为4种类型,即0型(短语文法),1型(上下有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与 (28) 等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价 (29) 。从文法描述语言的能力来说, (30) 最强, (31) 最弱,由4类文法的定义可知: (32) 必是2型文法。线性有限自动机非确定的下推自动机图灵机有限自动机(29)
根据乔姆斯基20世纪50年代建立的形式语言的理论体系,语言的文法被分为四种类型,即:O型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与(66)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(67)。从文法描述语言的能力来说,(68)最强,(69)最弱,由四类文法的定义可知:(70)必是2型文法。(40)
根据乔姆斯基于20世纪50年代建立的形式语言的理论体系,文法被分为4种类型,即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中,2型文法与(1)等价,所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说,(3)最强,(4)最弱,由4类文法的定义可知(5)必是2型文法。
广告位招租WX:84302438

免费的网站请分享给朋友吧