Sujet : Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 18. Jul 2024, 08:40:00
Autres entêtes
Organisation : -
Message-ID : <v7agsg$2am9u$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
User-Agent : Unison/2.2
On 2024-07-17 13:00:55 +0000, olcott said:
On 7/17/2024 1:43 AM, Mikko wrote:
On 2024-07-16 14:21:28 +0000, olcott said:
When simulated input DDD stops running {if and only if}
the simulation of this input DDD has been aborted this
necessitates that input DDD specifies non-halting behavior
DDD does not stop runnig unless it is completely exeuted.
_DDD()
[00002163] 55 push ebp ; housekeeping
[00002164] 8bec mov ebp,esp ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404 add esp,+04
[00002173] 5d pop ebp
[00002174] c3 ret
Size in bytes:(0018) [00002174]
DDD emulated by HHH according to the semantic meaning of
its x86 instructions never stop running unless aborted.
You mean HHH's simulation of DDD may not termite before HHH aborts it?
The behaviour specified by DDD, both by C semantics and by x86 semantics,
is halting if HHH returns. Otherwise HHH is not a decider.
-- Mikko
…