Re: Can D simulated by H terminate normally?

On 5/5/2024 3:08 AM, Mikko wrote:

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.
 

 I don't care about officially approved the code runs correctly
on Windows and Linux and required a COFF object file input.