问答题

图灵机在理论上证明了计算可以自动化。

答案: 正确。图灵机是由英国数学家和逻辑学家艾伦·图灵(Alan Turing)在1936年提出的一个抽象的计算模型。图灵机的设...
微信扫码免费搜题