多带图灵机

多带模型像把输入、工作区和中间结果分开放置，因而更接近真实算法的书写方式。它增加的是局部操作的便利：一步能同时读取和更新多个带头附近的符号，却没有引入新的无限资源或不可模拟原语。单带机可把各带内容和头位置编码在一条带上，只是每次寻找各读写头更慢；因此两种模型计算能力相同，差别主要体现为模拟开销。

两带机做字符串复制时，可让第一条带顺序读输入，第二条带同步写出副本，耗时线性；单带机若朴素地往返标记、寻找源位置与目标位置，可能需要二次时间，但标准交错编码仍能保证多项式模拟。这种等价性指可计算性，不表示逐步或线性时间等价。只读输入带加若干工作带是空间复杂性中常见约定。

“多一条带就能并行扫描任意多位置”并不成立：磁带条数必须是模型定义中的固定常数，每条带每步只移动一个格。若随输入免费提供指数多磁带、允许带数无限增长或一步访问随机地址，就已经换成不同的计算模型，资源度量与复杂度比较都需重新说明。

多带模型用于清晰描述通用机、字符串算法和复杂性类，也常用于简洁定义 可计算函数公理库可计算函数Computable function · Recursive function有图灵机对每个合法输入都停机并输出其值的全函数。 和时间复杂度，因为算法可自然分解为多个工作带。它与 单带图灵机公理库图灵机Turing machine通过有限控制、可读写纸带和移动读写头刻画一般算法计算能力的模型。 的等价支撑模型稳健性，而模拟的多项式开销说明 复杂度类 P公理库复杂度类 PP · Polynomial time能由确定性算法在输入长度的多项式时间内判定的语言集合。 等粗粒度类别不依赖选用这两种标准模型或合理的低层磁带组织。