tape bounded Turing machine