分都是有限的，但它有一个潜在的无限长的纸带，因此这种机器只是一个理想的设备。图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程。
图灵机的正式定义.一台图灵机是一个七元有序组formula_2，其中formula_3都是有限集合，且满足：图灵机formula_16将以如下方式运作：开始的时候将输入符号串formula_17从左到右依此填在纸带的第formula_18号格子上，其他格子保持空白（即填以空白符formula_1)。formula_20的读写头指向第