Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Anyone with sufficient knowledge of C knows that DD specifies
 non-terminating behavior to HHH
Date: Sat, 1 Mar 2025 11:27:17 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <117fd74986e03cf45ef8c8377859684537a84b3e@i2pn2.org>
References: <vo6420$3mpmf$1@dont-email.me> <vp5t55$2gt2s$1@dont-email.me>
	<vp6pmb$2opvi$1@dont-email.me> <vp8700$30tdq$1@dont-email.me>
	<vp9ct8$3af6t$1@dont-email.me> <vpav34$3jct4$1@dont-email.me>
	<vpc3u9$3skb7$1@dont-email.me> <vpcsvk$irt$2@dont-email.me>
	<vpev2e$fgop$1@dont-email.me> <vpfmpp$j7qb$6@dont-email.me>
	<vphbnb$10gus$1@dont-email.me> <vpivp4$1fvqe$6@dont-email.me>
	<vpklrk$21jn9$1@dont-email.me> <vplbnp$25vp2$5@dont-email.me>
	<b122ed1dc2c636321627d4dfc7936e463f920690@i2pn2.org>
	<vpltcn$28j3a$6@dont-email.me>
	<a8b150912bc326cd01c9e9ee89762d12b9fc571e@i2pn2.org>
	<vpm6hq$2dvrs$4@dont-email.me> <vpmo1m$2g3p0$3@dont-email.me>
	<vpn9m5$2jkdj$5@dont-email.me>
	<f556d553eddd6abf8673b902a2e0c51ded0e6423@i2pn2.org>
	<vporib$2vaf3$8@dont-email.me> <vppch2$323f6$3@dont-email.me>
	<vpqh0p$38ma4$1@dont-email.me>
	<b91d3af00fa332dd51ca2ac3932c2a721d2a4032@i2pn2.org>
	<vpqsfq$3agh2$4@dont-email.me>
	<5384f64a805524787ea427630169e94febd91ce5@i2pn2.org>
	<vptm7c$3st19$12@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Mar 2025 11:27:17 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2326961"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 4618
Lines: 55

Am Fri, 28 Feb 2025 19:00:28 -0600 schrieb olcott:
> On 2/28/2025 2:54 AM, joes wrote:
>> Am Thu, 27 Feb 2025 17:28:58 -0600 schrieb olcott:
>>> On 2/27/2025 2:45 PM, joes wrote:
>>>> Am Thu, 27 Feb 2025 14:13:13 -0600 schrieb olcott:
>>>>> On 2/27/2025 3:50 AM, Fred. Zwarts wrote:
>>>>>> Op 27.feb.2025 om 06:00 schreef olcott:
>>>>>>> On 2/26/2025 5:50 PM, Richard Damon wrote:
>>>>>>>> On 2/26/25 9:49 AM, olcott wrote:
>>>>>>>>> On 2/26/2025 3:48 AM, Fred. Zwarts wrote:
>>>>>>>>>> Op 26.feb.2025 om 05:50 schreef olcott:
>>>>>>>>>>> On 2/25/2025 10:21 PM, Richard Damon wrote:
>>>>>>>>>
>>>>>>>>>>> You already know that you are stupidly wrong about the
>>>>>>>>>>> emulation being incorrect or you would have provided the
>>>>>>>>>>> correct emulation sequence long ago.
>>>>
>>>>>>>>>>> What are the first 15 lines of DD correctly emulated by HHH?
>>>>>>>>>> The error in the simulation occurs already at the 5th
>>>>>>>>>> instruction,
>>>>>>>>>> the 'call 000015c3'. Instead of simulating this instruction,
>>>>>>>>> You dodged the actual question.
>>>>>>>>> What are the correct first 15 lines of DD emulated by HHH.
>>>>>>>> And you are missing the point that HHH can not correctly emulate
>>>>>>>> 15 line of this DD, as it is missing information and thus the
>>>>>>>> task is improperly defined.
>>>>>>> If we assume that HHH emulates the above machine code then there
>>>>>>> is NO MORE relevant information needed and we know that machine
>>>>>>> address 0000213c of DD is followed by machine address 00002133 of
>>>>>>> DD.
>>>> No. Relevant information includes the code at address 0x213c and
>>>> everything it points to.
>>> THE ONLY FREAKING THING THAT NEED BE KNOWN ABOUT THE CODE AT THAT
>>> ADDRESS (TO DETERMINE THE SEQUENCE OF MACHINE INSTRUCTIONS OF DD) IS
>>> THAT IT EMULATES THE MACHINE INSTRUCTIONS OF DD.
>> Well, it doesn't *call* D.

>>>   From this base assumption we know that the first
>>> five instructions of DD are repeated three times when the first 15
>>> instructions of DD are emulated.
>> No, there is no loop. The repetition only happens in the simulation.
>> There are only a single instance of HHH and DD actually running,
> Wrong, only HHH is actually running.
Oops, right (unless we run DD, which then calls HHH).

> HHH maps its input finite string to the behavior that THIS INPUT FINITE
> STRING SPECIFIES.
And DD is a halting program.

> That you think it should map this finite string to behavior THAT IT DOES
> NOT SPECIFY has now become very stupid on your part.
That's you.

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.