Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input
 to HHH(DD)
Date: Tue, 13 May 2025 13:05:52 +0200
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <vvv92g$1ov7e$4@dont-email.me>
References: <vv97ft$3fg66$1@dont-email.me>
 <vvnh9u$3hd96$1@raubtier-asyl.eternal-september.org>
 <vvno4e$3in62$2@dont-email.me> <vvo71c$rlt$1@news.muc.de>
 <PlNTP.270466$lZjd.128570@fx05.ams4> <vvochv$15td$2@news.muc.de>
 <vvodn5$3na6l$3@dont-email.me>
 <1276edeb9893085c59b02bbbd59fe2c64011736b@i2pn2.org>
 <vvqk4s$gldn$12@dont-email.me> <vvqln4$g8ck$5@dont-email.me>
 <vvrftj$ndkg$1@dont-email.me> <vvrggs$n9a9$3@dont-email.me>
 <aa56821a00afb05081a2f4684d4ad8fefc9b2376@i2pn2.org>
 <vvrkg9$o2ab$3@dont-email.me> <vvrkm9$mv2a$7@dont-email.me>
 <vvrli3$s6gd$1@dont-email.me> <vvrmcf$s0mk$2@dont-email.me>
 <vvrmr2$sas2$2@dont-email.me> <vvrmvo$s0mk$4@dont-email.me>
 <vvrnen$sjai$1@dont-email.me> <vvrnk9$s0mk$6@dont-email.me>
 <vvro10$sjai$3@dont-email.me> <vvro20$s0mk$8@dont-email.me>
 <vvro98$sjai$5@dont-email.me> <vvrodu$s0mk$10@dont-email.me>
 <vvrqco$sjai$7@dont-email.me> <vvrqhu$s0mk$11@dont-email.me>
 <vvrr6u$sjai$8@dont-email.me> <vvrrcr$s0mk$12@dont-email.me>
 <vvrse7$sjai$9@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 13 May 2025 13:05:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0f93063a85412bb9b83b70aeb6dff6a7";
	logging-data="1866990"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+hJlwg/FXpg+rfgcEFNBXD"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:PKp1WBBUD7rZDP3z32iF6avulL0=
In-Reply-To: <vvrse7$sjai$9@dont-email.me>
Content-Language: nl, en-GB

Op 12.mei.2025 om 06:11 schreef olcott:
> On 5/11/2025 10:54 PM, dbush wrote:
>> On 5/11/2025 11:50 PM, olcott wrote:
>>> On 5/11/2025 10:39 PM, dbush wrote:
>>>> On 5/11/2025 11:36 PM, olcott wrote:
>>>>>
>>>>> You try to get away with changing the subject
>>>>> because you know that you are lying about one
>>>>> or more steps of DDD emulated by HHH according
>>>>> to the rules of the x86 language 
>>>>
>>>> It is you who are changing the subject away from DDD emulated by HHH 
>>>> (not one or more steps of DDD emulated by HHH) which you have 
>>>> admitted for the record is not correct:
>>>>
>>>
>>> I am only referring to the hypothetical infinite
>>> set of pure x86 emulators specified below:
>>>
>>
>> Each of which is processing a distinct, different input.
>>
>> Changing the input is not allowed.
> 
> I am examining all the elements of a infinite set
> such that each HHH/DDD pair has a specific fixed form.
> 
> _DDD()
> [00002172] 55         push ebp      ; housekeeping
> [00002173] 8bec       mov  ebp,esp  ; housekeeping
> [00002175] 6872210000 push 00002172 ; push DDD
> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
> [0000217f] 83c404     add  esp,+04
> [00002182] 5d         pop  ebp
> [00002183] c3         ret
> Size in bytes:(0018) [00002183]
> 
> For all x86 emulators HHH that emulate 1 or more x86 instructions
> of an input there does not exist a DDD (matching the above template)
> correctly emulated by HHH such that DDD reaches its “ret” instruction
> final halt state.
> 
> 
> 

You are not only examining an infinite set of simulators, but also an 
infinite set of inputs. For each input you choose a simulator that is 
just too early to abort its simulation.. A few steps more would cause a 
natural end of the simulation.
Unfortunately, you choose an infinite number of wrong tools.
That does not prove anything about the correct behaviour of the inputs.