相关考题
-
单项选择题
图灵机的控制器类似于计算机中的（）。
A.CPU
B.Memory
C.硬盘
D.ALU -
单项选择题
形式系统的每一个推论规则都可以表达为自然数，这个数叫做（）。
A.图灵数
B.哥德尔数
C.Euclid数
D.Fibonacci数 -
单项选择题
英制长度值转换为公制值的查表算法是一个（）。
A.不可计算问题
B.可计算问题
C.可计算函数
D.不可计算函数
