Path: ...!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: 195 page execution trace of DDD correctly simulated by HH0
Date: Mon, 24 Jun 2024 19:24:38 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v5cv7m$10m6p$3@i2pn2.org>
References: <v4vrfg$2793f$1@dont-email.me> <v58m12$8mmo$1@dont-email.me>
 <v59797$brmn$1@dont-email.me> <v5b7nv$qvrb$1@dont-email.me>
 <v5btf3$v0vb$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 24 Jun 2024 23:24:38 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1071321"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <v5btf3$v0vb$4@dont-email.me>
Bytes: 3138
Lines: 53

On 6/24/24 9:48 AM, olcott wrote:
> On 6/24/2024 2:37 AM, Mikko wrote:
>> On 2024-06-23 13:17:27 +0000, olcott said:
>>
>>> On 6/23/2024 3:22 AM, Mikko wrote:
>>>> The subject line is not quite correct. The execution trace is not
>>>> 195 pages long, only 159 pages. In the beginning of the file there
>>>> is other material, mainly several disaasembled functions, many of
>>>> which do nothing.
>>>>
>>>> Several points in the trace are incorrect.
>>>>
>>>> On 2024-06-20 00:00:48 +0000, olcott said:
>>>>
>>>>> This shows all of the steps of HH0 simulating DDD
>>>>> calling a simulated HH0 simulating DDD
>>>>>
>>>>> https://liarparadox.org/HH0_(DDD)_Full_Trace.pdf
>>>>> *Some of the key instructions are color coded*
>>>>> GREEN---DebugStep Address
>>>>> RED-----HH Address
>>>>> YELLOW--All of the DDD instructions
>>>>> CYAN----Return from DebugStep to Decide_Halting_HH
>>>>>
>>>>> _DDD()
>>>>> [000020a2] 55         push ebp      ; housekeeping
>>>>> [000020a3] 8bec       mov ebp,esp   ; housekeeping
>>>>> [000020a5] 68a2200000 push 000020a2 ; push DDD
>>>>> [000020aa] e8f3f9ffff call 00001aa2 ; call H0
>>>>> [000020af] 83c404     add esp,+04   ; housekeeping
>>>>> [000020b2] 5d         pop ebp       ; housekeeping
>>>>> [000020b3] c3         ret           ; never gets here
>>>>> Size in bytes:(0018) [000020b3]
>>>>
>>>> That code is not from the mentined trace file. In that file _DDD()
>>>> is at the addresses 2093..20a4. According to the trace no instruction
>>>> at the address is executed (because that address points to the last 
>>>> byte
>>>> of a three byte instruction.
>>>
>>> In order to make my examples I must edit the code
>>> and this changes the addresses of some functions.
>>
>> Why do you need to make an example when you already have one
>> in the file mentioned in the subject line?
>>
> 
> I had to make a few more examples such as HH1(DD,DD)
> 

Why?

And why not show the actual trace that the decider makes, as opposed to 
the trace of the decider itself.