多た带图灵机

多た带图灵机和わ图灵机つくえ类似，唯ただ一的不同在于它可以有 $k>1$ 条じょう纸带，每まい条じょう纸带上うえ 都と有ゆう一个读写头。其状态转移うつり函数かんすう $\delta$ 修おさむ改あらため为：

$\delta :Q\times \Gamma ^{k}\to Q\times \Gamma ^{k}\times \{L,R\}^{k}$

此处 $k$ 是ぜ带子的てき数すう目もく。表おもて达式

$\delta (q,x_{1},x_{2},\ldots ,x_{k})=(q',x'_{1},x'_{2},\ldots ,x'_{k},m_{1},m_{2},\ldots ,m_{k})$

其中 $m_{i}$ = L 或ある R， 说明若わか机つくえ器き处于状じょう态 $q$， 读写头 $1,2,\ldots ,k$ 所ところ读出的てき符号ふごう分ぶん别为$x_{1},x_{2},\ldots ,x_{k}$， 则转移うつり到いた新しん状じょう态 $q'$， 将はた读写头 $1,2,\ldots ,k$ 下した的てき符号ふごう分ぶん别修改あらため为 $x'_{1},x'_{2},\ldots ,x'_{k}$ ， 并将读写头 $i$ 按照 $m_{i}$ 所ところ指示しじ的てき方向ほうこう移うつり动， $m_{i}=L$ 读写头 $i$ 向こう左ひだり移うつり， $m_{i}=R$ 读写头 $i$ 向こう右みぎ移うつり。

可か以证明あきら，对于任意にんい一个多带图灵机 $M$ ，存在そんざい一个单带图灵机 $M'$ ，满足 $L(M)=L(M')$。