Re: Computable Functions --- finite string transformation rules

On 4/26/25 4:41 PM, olcott wrote:

On 4/26/2025 3:23 PM, joes wrote:

Am Sat, 26 Apr 2025 14:46:12 -0500 schrieb olcott:

On 4/26/2025 1:22 PM, Fred. Zwarts wrote:

Op 26.apr.2025 om 19:28 schreef olcott:

On 4/26/2025 3:58 AM, Fred. Zwarts wrote:

Op 25.apr.2025 om 23:21 schreef olcott:

On 4/25/2025 8:56 AM, joes wrote:

Am Thu, 24 Apr 2025 19:03:34 -0500 schrieb olcott:

>

The program EE(){ HHH(EE); } also halts and cannot be simulated by
HHH.
>

HHH cannot possibly do this without violating the rules of the x86
language.

HHH already violates the rules of the x86 language by prematurely
aborting the halting program.

>
Everyone claims that HHH violates the rules of the x86 language yet no
one can point out which rules are violated

>
It has been pointed out many times. It is against the rules of the x86
language to abort a halting function.

>
You remains stupidly wrong about this because you refuse to show what
step of DD is not emulated by HHH according to the finite string
transformation rules specified by the x86 language.

 

All instructions after the abort are not emulated.
>

 Still stupidly wrong.
 *The best selling author of theory of computation textbooks*
 <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
      until H correctly determines that its simulated D would never
     stop running unless aborted then
      H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
 Correct emulation is defined as applying the finite
string transformation rules specified by the x86
language to the input to HHH(DD).
 Then HHH determines that DD would never stop running
unless aborted.
 

But your problem is that your Decider H doesn't meet that definition of corre3ct emulation since it stops, and it is a fact that the correectly emulated D *WILL* reach the end, because you H DOES abort and return 0.
Since H never correctly determined that it could correctly abort, the aborting that it does has no basis to be claimed to be correct, and thus the fact that the  actual correct emulation halts shows it WAS wrong.