4 ms·
No, because we’re not trying to find out if the computation will ever halt with unbounded time. It just determines if it will halt after a certain number of ste
by johncolanduoni 5y ago
No, because we’re not trying to find out if the computation will ever halt with unbounded time. It just determines if it will halt after a certain number of steps, which you can always determine by executing that number of steps and bailing out.