Manfred_Nowak <[email protected]> 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 notincluded 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
