3 ms·
You can't, for the general case, prove whether or not a program terminates. For many programs, you can.
by MaysonL 17y ago
You can't, for the general case, prove whether or not a program terminates. For many programs, you can.
loading thread…
3 ms·