Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: What exact sequence of the following machine addresses?
Date: Wed, 7 May 2025 18:34:22 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <86e78ac8763b9821920c8f6685472ef52fd1eec7@i2pn2.org>
References: <vvgl7f$18q46$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 8 May 2025 01:52:12 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3594813"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vvgl7f$18q46$5@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US

On 5/7/25 6:01 PM, olcott wrote:
> What exact sequence of the following machine addresses
> of DD emulated by HHH causes DD to reach its own
> final halt state at machine address [00002155]
> 

Program is UNDEFINED, as the contents of 000015C3 hasn't been provided.

You obviously have removed your stupulation of HHH at that location, as 
that HHH doesn't do what it needs to do to follow that question

In other words, you question is asking for a round square.


> When this sequence is required to conform to the
> rules of the x86 language?
> 
> _DD()
> [00002133] 55         push ebp      ; housekeeping
> [00002134] 8bec       mov ebp,esp   ; housekeeping
> [00002136] 51         push ecx      ; make space for local
> [00002137] 6833210000 push 00002133 ; push DD
> [0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
> [00002141] 83c404     add esp,+04
> [00002144] 8945fc     mov [ebp-04],eax
> [00002147] 837dfc00   cmp dword [ebp-04],+00
> [0000214b] 7402       jz 0000214f
> [0000214d] ebfe       jmp 0000214d
> [0000214f] 8b45fc     mov eax,[ebp-04]
> [00002152] 8be5       mov esp,ebp
> [00002154] 5d         pop ebp
> [00002155] c3         ret
> Size in bytes:(0035) [00002155]
> 
> 

IF you want to know what the actual correct emulation of that code is, 
the just add the function:

int main() {
  DD();
}

and run your x86utm on the code.

Note, you are just proving that you are a damned pathological liar that 
uses equivocation by asking this question, and you are trying to imply 
that HHH is both your decider that aborts, and thus isn;t a c0rrect 
emulator, and also is a correct emulator.

Sorry, that just shows that your logic is based on square circles, 
pathological lies, and equivocation.