Re: Flat out dishonest or totally ignorant?

On 2024-07-02 12:20:54 +0000, olcott said:

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.

What is the problem you are willing to discuss?
Are you willing to do anything else about to that problem?

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>

--
Mikko