deterministic Turing machines