Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2
Date: Sat, 22 Mar 2025 11:55:37 +0200
Organization: -
Lines: 33
Message-ID: <vrm1ep$3moen$1@dont-email.me>
References: <vrfuob$256og$1@dont-email.me> <vrgme1$2tr56$1@dont-email.me> <vri5mn$6nv4$1@dont-email.me> <8354fe5751e03a767452a3999818d5c6da714a6b@i2pn2.org> <vrigh6$f35v$1@dont-email.me> <vrj6d3$14iuu$1@dont-email.me> <vrjog0$1ilbe$6@dont-email.me> <db8aa67218b2a0990cd1df38aca29dbd3930e145@i2pn2.org> <vrkumg$2l2ci$2@dont-email.me> <ba957e964c1090cbb801b1688b951ac095281737@i2pn2.org> <vrl2s6$2nttr$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Mar 2025 10:55:37 +0100 (CET)
Injection-Info: dont-email.me; posting-host="b856591014f60709615ab470835cb0d0";
	logging-data="3891671"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19w12nwivDdL7VPq2bgRGR+"
User-Agent: Unison/2.2
Cancel-Lock: sha1:/gTW9MCfx5ipwD9PrOskaaYWPCc=
Bytes: 2429

On 2025-03-22 01:13:42 +0000, olcott said:

> On 3/21/2025 7:50 PM, Richard Damon wrote:
>> On 3/21/25 8:02 PM, olcott wrote:
>>> 
>>> 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 every HHH at machine address 000015d2 that emulates
>>> a finite number of steps of DDD according to the
>>> semantics of the x86 programming language no DDD
>>> ever reaches its own "ret" instruction halt state.
>>> 
>> 
>> So, you demonstrate your utter stupidity and use of incorrect definitions.
>> 
>> For EVERY HHH at machine address 000015d2 that emulates just a finite 
>> number of steps and return, then the PROGRAM DDD
> 
> does not exist because HHH is invoked from main()

A program exists even when never invoded from anywhaere.

-- 
Mikko