Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Can D simulated by H terminate normally?
Date: Mon, 29 Apr 2024 09:56:03 -0500
Organization: A noiseless patient Spider
Lines: 58
Message-ID: <v0oce3$1q3aq$4@dont-email.me>
References: <v0k4jc$laej$1@dont-email.me> <v0l11u$ussl$1@dont-email.me>
 <v0lh24$123q3$1@dont-email.me> <v0lic7$2g492$3@i2pn2.org>
 <v0lkas$12q0o$3@dont-email.me> <v0loq2$2g493$1@i2pn2.org>
 <v0lq7d$14579$2@dont-email.me> <v0ls98$2g492$7@i2pn2.org>
 <v0m29q$166o1$1@dont-email.me> <v0m37e$2gl1e$1@i2pn2.org>
 <v0m3v5$16k3h$1@dont-email.me> <v0m55t$2gl1f$3@i2pn2.org>
 <v0m5sn$172p4$1@dont-email.me> <v0oban$1o3b$1@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 29 Apr 2024 16:56:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="73fb146966bd3083c21813597b100895";
	logging-data="1903962"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/3e0o6WyxTHm8g0k+ygb5H"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tebArlR+78pUKMG6Jcyn9u+eNWM=
In-Reply-To: <v0oban$1o3b$1@news.muc.de>
Content-Language: en-US
Bytes: 3125

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