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.