Re: Can D simulated by H terminate normally?

olcott <polcott333@gmail.com> wrote:

On 4/29/2024 1:19 PM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 4/29/2024 11:17 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 4/29/2024 10:23 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 4/29/2024 9:37 AM, Alan Mackenzie wrote:

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

On 4/28/2024 1:39 PM, Richard Damon wrote:

On 4/28/24 2:19 PM, olcott wrote:

[ .... ]

A simulating termination analyzer is not the same thing as a UTM.

At the moment, on this newsgroup, it's a meaningless term.  You seem to
have used it merely as a synonym for halting decider in the past.  Yet
you fail to say what you mean by it, if you mean something different.

Within my brand new idea of a {simulating termination analyzer}
there is the idea of abnormal termination.

It's unlikely to be a brand new idea, whatever it might be, since you
aren't familiar with the literature and so most likely have come up with
somebody else's old idea.

[ .... ]

You've failed, repeatedly, to address the points I've been making in my
last few posts, so it seems that you have accepted them.  In particular,
you have accepted that "having been aborted" is indeed a final state for
a turing machine or a program.

All of the "points" that you have been making were entirely anchored in
your ignorance about what "simulating termination analyzer" are and how
they work.

I think it much more likely that there's no such thing as a "simulating
termination analyzer".  I.e. there's no theory about it, no interesting
results, no use for it, or anything like that.  I've asked you several
times to define this object, other people have asked you too, yet you
fail to do so.  Producing a few lines of scrappy C code is not anything
like producing a definition.

"Simulating termination analyzer" probably just means halt decider.  We
all know there's no such thing.

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

--
Alan Mackenzie (Nuremberg, Germany).