第138页 非确定型图灵机

一台机器不是只用一个状态表示“向右扫描查找一个空白方格”，而是可以为"向右扫描一个空白方格（记住我之前读取到了一个a）"设置一个状态，再为"向右扫描一个空白方格（记住我之前读取到了一个b）"设置另一个状态，所有可能的字符都以此类推－－字符数目 也是有限的，所以这样的复制总是有限的。

规则数量有限，非常重要。
如果无限，就只能递归或迭代，不能复制。

无限的情况，参见 Algorithmic Adventures [http://book.douban.com/subject/4473922/].