Re: Flat out dishonest or totally ignorant?

Liste des GroupesRevenir à theory 
Sujet : Re: Flat out dishonest or totally ignorant?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 02. Jul 2024, 20:00:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v61ipa$1og2o$2@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
On 7/2/2024 1:42 PM, Fred. Zwarts wrote:
Op 02.jul.2024 om 14:22 schreef olcott:
On 7/2/2024 3:22 AM, Fred. Zwarts wrote:
Op 02.jul.2024 om 03:25 schreef olcott:
typedef void (*ptr)();
int HHH(ptr P);
>
void Infinite_Loop()
{
   HERE: goto HERE;
}
>
void Infinite_Recursion()
{
   Infinite_Recursion();
}
>
void DDD()
{
   HHH(DDD);
}
>
int main()
{
   HHH(Infinite_Loop);
   HHH(Infinite_Recursion);
   HHH(DDD);
}
>
Every C programmer that knows what an x86 emulator is knows
that when HHH emulates the machine language of Infinite_Loop,
Infinite_Recursion, and DDD that it must abort these emulations
so that itself can terminate normally.
>
Whether or not it *must* abort is not very relevant.
>
This <is> the problem that I am willing to discuss.
I am unwilling to discuss any other problem.
This does meet the Sipser approved criteria.
>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then
>
     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
 Repeating the same thing that has already been proved to be irrelevant does not bring the discussion any further.
Sipser is not relevant, because that is about a correct simulation. Your simulation is not correct.
 
If you disagree with this you are either dishonest
or clueless I no longer care which one.
_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]
DDD is correctly emulated by HHH which calls an
emulated HHH(DDD) to repeat the process until aborted.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
1 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal