Turing machine with support for multiple tapes and stacks