《Understanding Computation》的原文摘录
-
一台机器不是只用一个状态表示“向右扫描查找一个空白方格”，而是可以为"向右扫描一个空白方格（记住我之前读取到了一个a）"设置一个状态，再为"向右扫描一个空白方格（记住我之前读取到了一个b）"设置另一个状态，所有可能的字符都以此类推－－字符数目 也是有限的，所以这样的复制总是有限的。 (查看原文) —— 引自第138页 -
一条图灵机的纸带通过交叉存取 (查看原文) —— 引自第141页 -
如果我们在每一个交叉字符的边上放上一个空白方格 (查看原文) —— 引自第141页 -
注5:二元基于2，一元基于1. (查看原文) —— 引自第144页 -
让ECREMENT工作的关键...由ZERO组成的有序对调用slide n次，然后使用SELECT从结果的有序对中拉出左边的数来。 (查看原文) —— 引自第163页 -
>> slide ([3,4]) => [4,5] >> slide ([8, 9]) => [9, 10] (查看原文) —— 引自第163页 -
不停机程序是通用性的一个不可避免的结果 只要在使用一种强大到能对自身求值的程序，我们就知道一定可能使用#evaluate的等价物构建永不停机的程序 如果移除了一个特性让一个程序无法永远循环，一定也不可能实现#evaluate了 (查看原文) —— 引自第245页 -
这两个例子的唯一真正区别是, DFA的模拟是从一个当前状态移动到另一个, 而NFA的模拟是从当前可能状态的集合移动到另一个可能状态的集合. (查看原文) —— 引自第89页 -
世界上最幸运的事，是人脑无法的把自身的内容全部关联起来。——霍华德·菲利普·洛夫克拉夫特 (查看原文) —— 引自章节：第8章 不可能的程序 235
作者: Tom Stuart
副标题: From Simple Machines to Impossible Programs
isbn: 1449329276
书名: Understanding Computation
页数: 332
定价: USD 39.99
出版社: O'Reilly Media
装帧: Paperback
出版年: 2013-6-3