deterministic-turing-machine