Many Turing constructions are possible, and virtually all are equivalent to the classic single-tape deterministic one-way TM.
