Re: Can D simulated by H terminate normally?

[ Followup-To: set. ]

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:

[ .... ]

Even the term "halting" is problematic.
For 15 years I thought it means stops running for any reason.

And that shows your STUPIDITY, not an error in the Theory.

Now I know that it means reaches the final state.

There can be several distinct final states in a turing machine.  Do you
mean, perhaps, "it means reaches _A_ final state"?

Half the people here may not know that.

No, I suspect most of the people here are smarter than that.

Having been aborted (if such were possible) is merely another final state
for a TM.

Yet again only rhetoric with no actual reasoning.
Do you believe:
(a) Halting means stopping for any reason.
(b) Halting means reaching a final state.

(a) and (b) are identical.  A TM having stopped means it has reached a
final state, and vice versa.

(c) Neither.

--
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).