logo - 刷刷题
下载APP
【简答题】

“图灵机概念提供了一个环境,在此环境下,所有可计算函数的解都能够被表示。”上述所言是否正确?

举报
参考答案:
参考解析:
.
刷刷题刷刷变学霸
举一反三

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

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