这个学期刚好上完这门课,此课绝对是CS课程中的神课,需要一定的决心和耐心才能啃下来。可计算理论是计算理论的一个分支,还有两个分支分别是自动机和计算复杂性。这些名词都顾名思义,自动机讲的是计算的模型,比如图灵机,它是由无限长磁带,读写磁头和一些状态转移序列组成;可计算理论,研究的是一个函数(或程序)是...