Re: Can D simulated by H terminate normally?

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

[ 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"?
 

Sure.

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.
 

No it definitely is not.
When the payroll system crashes 10% of the way through calculating
payroll we cannot say that everyone has been paid.

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.
 

No that is incorrect.
In software engineering terms halting means reaching a final
state and terminating normally.

(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

 

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