Re: DDD correctly emulated by HHH is correctly rejected as non-halting.

On 2024-07-15 13:15:29 +0000, olcott said:
 

On 7/15/2024 2:41 AM, Mikko wrote:

On 2024-07-14 14:13:41 +0000, olcott said:
>

On 7/14/2024 3:40 AM, Mikko wrote:

On 2024-07-13 12:22:24 +0000, olcott said:

>
Deciders are required to (thus must) halt.

>
The semantics of the x86 language does not require that, nor that any of
the programs is a decider.

>
The subject our our conversion is a simulating termination
analyzer

>
No, it is not. As stated on the Subject line, the subject is correctness of
the rejection of DDD as non-halting.
>

AKA partial halt decider

>
That "AKA" is incorrect. The term "termination analyzer" means a program
of a certain kind and the term "partial halt decider" means a program of
a different kind.
>

>
Not for the subset of inputs that we are examining.

 Yes with all inputs. Their input spaces are distinct and they are required
to answer a different question.