Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Can D simulated by H terminate normally?
Date: Sun, 5 May 2024 11:08:37 +0300
Organization: -
Lines: 57
Message-ID: <v17eq5$1ogmi$1@dont-email.me>
References: <v0k4jc$laej$1@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> <v0oce3$1q3aq$4@dont-email.me> <v0oe1b$1o3b$2@news.muc.de> <v0ofl3$1r1mf$1@dont-email.me> <v0oh7g$1o3b$3@news.muc.de> <v0olhv$1sgeo$1@dont-email.me> <v0oobd$1o3b$4@news.muc.de> <v0or07$1tmga$1@dont-email.me> <v0qb59$2bsfc$1@dont-email.me> <v0r242$2hb7o$1@dont-email.me> <v0r3kh$hka$1@news.muc.de> <v0r5f2$2hb7o$11@dont-email.me> <v0r78v$hka$3@news.muc.de> <v0rd16$2k1bi$1@dont-email.me> <v0t3uj$1iuj$2@news.muc.de> <v0tneg$37lgj$5@dont-email.me> <v0umsa$2qov3$3@i2pn2.org> <v0v0tm$3kdu6$5@dont-email.me> <v0vlmb$3ovek$1@dont-email.me> <v1098d$3tep8$2@dont-email.me> <v12a35$f4kk$1@dont-email.me> <v12if4$h1tj$2@dont-email.me> <v14uvf$14slk$1@dont-email.me> <v15ehk$17unh$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 05 May 2024 10:08:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b9d6f5138f29339683dcbf59468f91f0";
	logging-data="1852114"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/86YvCgAyHcGRQp/9hCvjL"
User-Agent: Unison/2.2
Cancel-Lock: sha1:3x1VQO4GtV6B0mRVKzwXy+h1v2Q=
Bytes: 3886

On 2024-05-04 13:51:48 +0000, olcott said:

> On 5/4/2024 4:26 AM, Mikko wrote:
>> On 2024-05-03 11:40:20 +0000, olcott said:
>> 
>>> On 5/3/2024 4:17 AM, Mikko wrote:
>>>> On 2024-05-02 14:50:53 +0000, olcott said:
>>>> 
>>>>> On 5/2/2024 4:16 AM, Mikko wrote:
>>>>>> On 2024-05-02 03:22:29 +0000, olcott said:
>>>>>> 
>>>>>>> When I had to make changes to Bank's the VISA credit card system
>>>>>>> I had to re-read the VISA change document fifteen times before
>>>>>>> I was confident that I understood every relevant detail.
>>>>>> 
>>>>>> It's only because there was no detail that you could not accept.
>>>>>> Had there been one you could have stopped reading as soon you
>>>>>> found it, perhaps even before reading first time to the end.
>>>>>> 
>>>>> 
>>>>> It was because 99% of the details did not apply to my system
>>>>> that I had to carefully study all of the details to see which
>>>>> ones applied.
>>>>> 
>>>>>> Likewise with your proofs: as soon as one error is found there
>>>>>> is no need to read further in order to determine that the proof
>>>>>> is erroneous.
>>>>>> 
>>>>> 
>>>>> There is no error in this and it is a verified fact not requiring
>>>>> any subjective judgement call:
>>>>> 
>>>>> (a) It is a verified fact that D(D) simulated by H cannot
>>>>> possibly reach past line 03 of D(D) simulated by H whether H
>>>>> aborts its simulation or not.
>>>> 
>>>> The use of an ambigouos expression "D(D) simulated by H" can
>>>> be regarded as an error.
>>>> 
>>> 
>>> Perhaps you C skills are not that great?
>> 
>> As "D(D) simulated by H" is not strictly conforming C and is not
>> presented as such, my C skills are not relevant.
>> 
> 
> Ah so it is like I guessed.
> I am not sure exact what strictly conforming C is,
> probably ISO standard C.

It is the set of programs whose behaviour is independent of the
C implementation (i.e., compiler and execution environment) as
long as it is coforming. More detalis in C standard.

-- 
Mikko