这本书我读过，有些哗众取宠。

来源: 于 2024-08-25 14:36:48 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次

计算机理论的硬核是这些：

形式语言与自动机理论、可计算性理论、计算复杂性理论等三个部分。这些内容分别回答下列问题：（1）有哪些计算装置？它们的能力如何？ （2）什么是计算？哪些问题是（不）可计算的？（3）什么是有效计算？哪些问题是（不）可有效计算的？