Re: Simulating termination analyzers by dummies --- --- the only reply until FULLY addressed

On 6/19/2024 1:03 PM, joes wrote:

Am Wed, 19 Jun 2024 12:52:59 -0500 schrieb olcott:

On 6/19/2024 12:51 PM, joes wrote:

Am Wed, 19 Jun 2024 09:05:29 -0500 schrieb olcott:

On 6/19/2024 4:29 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 6/18/2024 4:36 PM, Alan Mackenzie wrote:

In comp.theory olcott <polcott333@gmail.com> wrote:

On 6/18/2024 12:57 PM, joes wrote:

Am Tue, 18 Jun 2024 12:25:44 -0500 schrieb olcott:

On 6/18/2024 12:06 PM, joes wrote:

 

When the adapted UTM halts after recognizing the repeating state of a
Turing Machine Description that only loops and transitions to its
reject state then this adapted UTM is a halt decider for inputs that
only loop.

But not a simulator.

^
 

A UTM can be adapted so that it only simulates a fixed number of
iterations of an input that loops.

As has often been said, it is then no longer a universal turing
machine.

So what?

You wanted to simulate the input.

^
 

It is a mistake for a simulating termination analyzer to simulate
infinite repeating states.

How can that be a "mistake" if it's what the thing is programmed to
do?

Termination analyzers are required to halt so it fails to meet its
spec.

What use is an analyser that can't deal with possible loops?

^
 

void DDD()
{
    H0(DDD);
}

H0 should just return that DDD halts, which it does.

_DDD()
[000020a2] 55         push ebp      ; housekeeping
[000020a3] 8bec       mov ebp,esp   ; housekeeping
[000020a5] 68a2200000 push 000020a2 ; push DDD
[000020aa] e8f3f9ffff call 00001aa2 ; call H0
[000020af] 83c404     add esp,+04   ; housekeeping
[000020b2] 5d         pop ebp       ; housekeeping
[000020b3] c3         ret           ; never gets here
Size in bytes:(0018) [000020b3]
Of every H0 that can possibly exist such that H0 emulates
DDD WHAT ARE THE EXACT STEPS OF DDD CORRECTLY EMULATED
BY H0 SUCH THAT THE EMULATED DDD REACHES [000020b3] ???
*I can do this many hundreds of times if necessary*
*I can do this many hundreds of times if necessary*
*I can do this many hundreds of times if necessary*
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer