Multi-tape Turing machine