a Turing machine without a tape