チューリングマシン
and a deterministic polynomial-time Turing machine is a deterministic Turing machine "M" that satisfies the following two conditions: