第一章 计算理论

勘误表

以下页码均以纸质版为准。

页码	位置	类型	原文	更正	致谢
15	推论 1.1 的证明	证明错误	参见此勘误页面	王文茜
41	定理 1.10 的证明	笔误	或 \(\mathbb{M}_{i}(z)\) 在 \(k\) 步内停机，或 \(\mathbb{M}_i(z)\) 在 \(r(k)\) 步内不停机	或 \(\mathbb{M}_j(z)\) 在 \(k\) 步内停机，或 \(\mathbb{M}_j(z)\) 在 \(r(k)\) 步内不停机	刘裕炜
41	定理 1.10 的证明	笔误	设 \(n_i = \sum_{j = 0}^i \vert\Gamma_i\vert^i\)	设 \(n_i = \sum_{j = 0}^i \vert\Gamma_j\vert^i\)	黄健浩
53	公式 (1.18.1) 的前一个公式	笔误	\(\cdots \implies \psi_{i-1}(D^1, D^2)\)	\(\cdots \implies \psi_{i}(D^1, D^2)\)	黄健浩
57	图 1.10，(3)(a)(ii)(A)	笔误	猜测从 \(s\) 出发在 \(i-1\) 步内到达 \(v_i\) 的路径	猜测从 \(s\) 出发在 \(i-1\) 步内到达 \(v_j\) 的路径	刘裕炜