创建自己的小题库
搜索
【单选题】
( )在1936年证明,图灵机的停机问题是不可判定的。
A.
图灵
B.
冯.诺依曼
C.
哥德尔
D.
厄布朗
手机使用
分享
复制链接
新浪微博
分享QQ
微信扫一扫
反馈
收藏
举报参考答案：
举一反三
【单选题】（4）处填（）。 A．确定的有限自动机 B．图灵机 C．非确定的下推自动机 D．非确定的有限自动机 E．有限自动机 F．线性有限自动机
A.
根据乔姆斯基20世纪50年代建立的形式语言的理论体系，语言的文法被分为四种类型，即：0型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与（3）等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价（4）。从文法描述语言的能力来说，（5）最强，（6）最弱，由四类文法的定义可知：（7）必是2型文法。
【单选题】在本节中，你将听到15个对话，每段对话后有一个问题。请从A，B，C三个选项中选出答案，并标在试卷的相应位置。每段对话后有15秒钟的停顿，以便回答问题和阅读下一个问题。每段对话读两遍。 下面请听这些对话 What’s the matter with the man
A.
He got a high temperature.
B.
He got a bad headache.
C.
Both A and B．
相关题目：
【单选题】（4）处填（）。 A．确定的有限自动机 B．图灵机 C．非确定的下推自动机 D．非确定的有限自动机 E．有限自动机 F．线性有限自动机
A.
根据乔姆斯基20世纪50年代建立的形式语言的理论体系，语言的文法被分为四种类型，即：0型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与（3）等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价（4）。从文法描述语言的能力来说，（5）最强，（6）最弱，由四类文法的定义可知：（7）必是2型文法。
【单选题】在本节中，你将听到15个对话，每段对话后有一个问题。请从A，B，C三个选项中选出答案，并标在试卷的相应位置。每段对话后有15秒钟的停顿，以便回答问题和阅读下一个问题。每段对话读两遍。 下面请听这些对话 What’s the matter with the man
A.
He got a high temperature.
B.
He got a bad headache.
C.
Both A and B．
参考解析：
AI解析
重新生成
题目纠错 0
发布
