Modifying the definition of a little bit: if there is a PTM that, on input , runs in time and has behavior:
Example. Claim:
- Proof.
-
Let . There exists PTM such that , .
Let be the Turing machine on input
- Run on input
- Run on input
if either accepted, then accept
else reject