Re: Flat out dishonest or totally ignorant?

On 7/2/2024 1:23 AM, Mikko wrote:

On 2024-07-02 01:25:40 +0000, olcott said:
 

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.

 The "must" there is not quite correct. If the emulator does not abort
then it will run forever or until the emulator is aborted by some
external agent. That is not a problem unless there is an additional
requirement, not specified above, that the emulator must terminate
normally.
 

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>
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer