Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: 195 page execution trace of DDD correctly simulated by HH0
Date: Mon, 24 Jun 2024 08:48:19 -0500
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <v5btf3$v0vb$4@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 24 Jun 2024 15:48:20 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="30c92b316077fe98558b44dd129a1438";
	logging-data="1016811"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/72aBWRPEi7YtlUlQ8TgL+"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:FPXgERlCuDUlAnDSGTYIok5nxMQ=
Content-Language: en-US
In-Reply-To: <v5b7nv$qvrb$1@dont-email.me>
Bytes: 3126

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)

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer