图灵在计算机科学方面的主要贡献是提出图灵机模型和__________。

B．提出存储程序工作原理

C．提出定义机器智能的图灵测试

D．首次提出了计算机使用二进制进行运算

A、图灵机是一种思想模型

B、图灵机就是第一台计算机

C、图灵机是类似于计算机的可进行计算的工具

D、图灵机早被淘汰了

A、凡是可计算的函数都可以用图灵机计算

B、任何计算，如果存在一个有效过程，它就能被图灵机实现

C、有些数学问题是不可求解的(图灵不可停机的)

D、任何表达力足够强的(递归可枚举)形式系统同时满足一致性和完备性

A 根据丘奇-图灵理论，在一般计算机上可解的问题在图灵机上也可解。

B 如果在一般计算机上能在多项式时间内求解，则在图灵机上也可以在多项式时间内求解。

C 如果得到了某个问题的可能解，并且能在多项式时间验证该可行解是否为真实解，那么这个问题就属于NP。

D 如果有了可能解，我们就能确定性地模拟非确定图灵机构造该解的状态转移过程。

A、图灵是著名的数学家、逻辑学家、密码学家，被称为计算机科学之父。

B、图灵最早提出关于机器思维的问题，提出了测试计算机是否具有智能的图灵测试，被称为人工智能之父。

C、图灵创立了二进制。

D、“图灵奖”是为奖励那些对计算机科学研究与推动计算机技术发展有卓越贡献的杰出科学家而设立的。

A、图灵机给出的是计算机的实体模型

B、图灵机的状态转移函数 <q, x, y, r(或l或n), p> ，其实就是一条指令，即在q状态下，当输入为X时，输出为Y，读写头向右(R)、向左(L)移动一格或不动(N)，状态变为p

C、凡是能用算法方法解决的问题也一定能用图灵机解决；凡是图灵机解决不了的问题任何算法也解决不了

D、图灵机是一种离散的、有穷的、构造性的问题求解思路

A、图灵

B、冯·诺依曼

C、托马斯

D、董铁宝