Sujet : Re: Hypothetical possibilities --- Sipser approved criteria
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 28. Jul 2024, 09:13:54
Autres entêtes
Organisation : -
Message-ID : <v84uk2$3rptr$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Unison/2.2
On 2024-07-27 14:41:54 +0000, olcott said:
On 7/27/2024 1:54 AM, Mikko wrote:
If a simulator correctly simulates a finite number of instructions
where x86 program specifies an execution of an infinite number of
instructions then the simulation deviates from x86 semantics at the
point where the simulation stops but the x86 semantics specify
countinuation.
I paraphrase this as the requirement for a termination analyzer
to never terminate. That *is* a ridiculously stupid requirement.
A more accurate paraphrase would be "Olcott is an idiot". Even that
would not be really accurate.
-- Mikko
…