[Theory] Halting problem

Simen kjaeraas simen.kjaras at gmail.com
Wed Oct 13 10:57:26 PDT 2010


Manfred_Nowak <svv1999 at hotmail.com> 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.

However, those few extra bits won't make all that much of a difference
when analyzing real programs. That is, only a few factors of a quintillion.

-- 
Simen


More information about the Digitalmars-d mailing list