Máquina de Turing com k fitas

Uma máquina de Turing com k fitas também pode ser descrita como uma 7-upla M = (Q,Σ,Γ1,Γ2,...,Γk,s,b,F,δ), onde

Q é um conjunto finito de estados
Γi,i = 1,...,k é o alfabeto da fita i (conjunto finito de símbolos)
k é o número de fitas
é o estado inicial
é o símbolo branco
é o conjunto dos estados finais
é uma função parcial chamada função de transição, onde E é o movimento para a esquerda e D é o movimento para a direita.
Note que uma máquina de turing com "k" fitas não é mais poderosa que uma máquina de Turing tradicional.