Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement

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.

Whether a
simulation of DDD is discontinued before its completion depends on
the simulator. It is perfectly possible to simulate the first 25
machine instructions and stop there. If the simulated program does
not terminate before 25 instructions that does not tell whther it
ever terminates.
 You can construct a partial halt decider that simulates for example
1 000 000 000 instructions unless the program halts before and then
reports that it failed to determine. That could be useful for many
purposes.
 

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer