If you know how many iterations are sufficient, the unbounded loop could have been written as a bounded loop in the first place. For truly unbounded loops, you’re still stuck.
back
1 comments
I mean, that's the same as saying no computer is Turing complete because it doesn't have infinite memory.
I'm not saying it is a practical solution to unroll a loop that might run a billion times.