3 ms·
Termination is decidable, it's just that the finite program which decides if it terminates would take unfeasibly long to run.
by arjvik 2y ago
Termination is decidable, it's just that the finite program which decides if it terminates would take unfeasibly long to run.