Darren New wrote:
> Invisible wrote:
>> - What is the "most powerful" language for which you *can* tell is an
>> arbitrary program will halt?
>
> I forget what it's called, but basically anything with for loops instead
> of while loops does the trick. You have to rule out recursion also.
> Essentially, anything with indefinite loops is out, as far as I understand.
>
I believe it's called a "primitive recursive" language.
This is also relevant:
http://en.wikipedia.org/wiki/Total_functional_programming
Post a reply to this message
|