Bookcold

摘要： 图灵机 图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程，他把这样的过程看作下列两种简单的动作： 在纸上写上或擦除某个符号； 把注意力从纸的一个位置移动到另一个位置； 而在每个阶段，人要决定下一步的动作，依赖于 (a) 此人当前所关注的纸上某个位置的符号和(b) 此人当前思维的状态。 在某些模型中，纸带移动，而未用到的纸带真正是“空白”的。要进行的指令(q4)展示在扫描到方格之上(由 K... 阅读全文