Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: A state transition diagram proves ...
Date: Thu, 17 Oct 2024 21:13:24 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <3232d8a0cc7b5d4bba46321bf682c94573bf1b7c@i2pn2.org>
References: <ves6p1$2uoln$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 18 Oct 2024 01:13:24 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2517351"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <ves6p1$2uoln$1@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2357
Lines: 40

On 10/17/24 7:31 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]
> 
> When DDD is correctly emulated by HHH according
> to the semantics of the x86 language DDD cannot
> possibly reach its own machine address [00002183]
> no matter what HHH does.
> 
> +-->[00002172]-->[00002173]-->[00002175]-->[0000217a]--+
> +------------------------------------------------------+
> 
> That may not line up that same way when view
> 
> 
> 
> 
> https://en.wikipedia.org/wiki/State_diagram
> 


Except that 0000217a doesn't go to 00002172, but to 000015d2

In fact, the correct emulation of the program will NEVER have the actual 
program counter of that context have the value of 00002172 again after 
it does that first step, and never be 0000217a after it executes that 
instruction.

You are just showing that you arguement is based on lies, and deceit, 
and total stupidity.

The emulation of emulation of DDD by the emulated HHH never actually 
gets to that address in this context, only in the virtual context of the 
machine being emulated.