[Theory] Halting problem

[Stewart Gordon]

On 13/10/2010 14:17, Manfred_Nowak wrote:
> Stewart Gordon wrote:
>
>> to do it for a setup with n
>> bits of memory, the halt analyser would need 2^n bits.
>
> Depends on how you define memory. If registers and flags of the CPU are not
> included in your definition of memory, then 2^n bits may not suffice.

Maybe I should have kept to using the term "state", which inherently 
includes all this.

Though they could be registers and flags of the interpreter or VM under 
which the program runs, not necessarily of the CPU per se.

Stewart.