图灵机

世界上第一台计算机ENIAC是（）模型

A、随机访问计算机

B、图灵机

C、随机访问存储程序计算机

D、带后台存储带的随机访问存储程序计算机

在操作系统中，Spooling技术是用一类物理设备模拟另一类物理设备的技术，实现这种技术的功能模块称做（）。

A、可林斯系统

B、斯普林系统

C、图灵机系统

D、虚拟存储系统

在操作系统中，Spooling技术是用一类物理设备模拟另一类物理设备的技术，实现这种技术的功能模块称作(39)。

A．可林斯系统

B．斯普林系统

C．图灵机系统

D．虚拟存储系统

C答案：B.ENIAC

1937年，图灵在发表的论文（）中，首次提出图灵机的概念。

A、《左右周期性的等价》

B、《论可计算数及其在判定问题中的应用》

C、《可计算性与λ可定义性》

D、《论高斯误差函数》

Chomsky定义的四种形式语言文法中，2型语言可由()识别。

A、短语结构文法

B、前后文无关文法

C、前后文有关文法

D、正规文法

E、图灵机

F、有限自动机

G、下推自动机

关于“图灵机”和“计算”，下列说法不正确的是_____。

(A)计算就是对一条两端可无限延长的纸带上的一串0和1，一步一步地执行指令，经过有限步骤后得到的一个满足预先规定的符号串的变换过程;

(B)“数据”可被制成一串0和1的纸带送入机器中进行自动处理，被称为数据纸带;处理数据的“指令”也可被制作成一串0和1的纸带送入机器中，被称为程序纸带;机器一方面阅读程序纸带上的指令，并按照该指令对数据纸带上的数据进行变换处理。

(C)计算机器可以这样来制造：读取程序纸带上的指令，并按照该指令对数据纸带上的数据做相应的变换，这就是图灵机的基本思想;

(D)上述有不正确的。

下列叙述中不正确的是()。

A、计算思维是指人要像计算机那样去思维。

B、简单地说，计算就是符号串变换的过程。

C、图灵机是一种抽象的计算模型，而不是指具体的物理机器。

D、世界上第一台现代电子计算机是”ENIAC”。

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

(28)A．线性有限自动机

B．非确定的下推自动机

C．图灵机

D．有限自动机

(29)A．确定的有限自动机

B．图灵机

C．非确定的下推自动机

D．非确定的有限自动机

(30)A．1型文法

B．2型文法

C．3型文法

D．0型文法

(31)A．3型文法

B．2型文法

C．0型文法

D．1型文法

(32)A．1型文法

B．0型文法

C．3型文法

D．2型文法

NP类语言在图灵机下的定义为（）

A、NP={L∣L是一个能在非多项式时间内被一台NDTM所接受的语言}

B、NP={L∣L是一个能在非多项式时间内被一台DTM所接受的语言}

C、NP={L∣L是一个能在多项式时间内被一台DTM所接受的语言}

D、NP={L∣L是一个能在多项式时间内被一台NDTM所接受的语言}

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

A．线性有限自动机

B．非确定的下推自动机

C．图灵机

D．有限自动机