彩虹奥术师》。
    哗哗的书页翻动声，给安静的图书馆增添了一丝令人沉静的氛围。
    忽然，《数学新进展》上的一篇论文引起了兰恩的兴趣《论数字计算在决断难题中的应用》——艾伦·麦席森。
    一边一边体会这种熟悉的赶脚，兰恩好像又想起来一点东西。
    论文中，为了解决“判决问题”的范围广阔的问题，艾伦先生给“可计算性”下了一个严格的定义，并且在论文的尾部，提出了一种有趣的设想。
    他设想了一种机器，这种机器十分简单但是运算能力极强，可以用来计算所有具有“可计算性”的函数。
    在论文中，艾伦先生首先把人在计算时所做的工作分解成简单的动作，对于人类来说，计算的过程有两部分
    （1）在纸上写上或擦除某个符号；
    （2）把注意力从纸的一个位置移动到另一个位置；
    为了模拟人的这种运算过程，他设想的这台机器，有四个部分
    （1）一条无限长的纸带。纸带被划分为一个一个的小格子，每个格子上包括一个有限字母表的符号，字母表要包括一个称为“空白”的特殊符号。
    （2）一个读写装置。可以在上面的纸带上左右移动
 <本章未完请点击"下一页"继续观看!>