logo - 刷刷题
下载APP
【单选题】

( )在1936年证明,图灵机的停机问题是不可判定的。

A.
图灵
B.
冯.诺依曼
C.
哥德尔
D.
厄布朗
举报
参考答案:
参考解析:
.
刷刷题刷刷变学霸
举一反三

【多选题】基于Internet的EDI存在的问题有()。

A.
安全问题
B.
网络营运的可靠性
C.
成本问题
D.
第三方认证问题

【单选题】心理咨询最突出的问题是()

A.
恐惧问题
B.
情绪问题
C.
青春期问题
D.
更年期问题
E.
世界观问题

【单选题】(4)处填()。 A.确定的有限自动机 B.图灵机 C.非确定的下推自动机 D.非确定的有限自动机 E.有限自动机 F.线性有限自动机

A.
根据乔姆斯基20世纪50年代建立的形式语言的理论体系,语言的文法被分为四种类型,即:0型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与(3)等价,所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(4)。从文法描述语言的能力来说,(5)最强,(6)最弱,由四类文法的定义可知:(7)必是2型文法。