Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 5/12/2025 11:04 AM, olcott wrote:

Termination analyzers compute the mapping from their
inputs to the behavior that these inputs actually specify.

False.  They compute the mapping from their input to the behavior of the algorithm described by the input when executed directly, as per the requirements:
Given any algorithm (i.e. a fixed immutable sequence of instructions) X described as <X> with input Y:
A solution to the halting problem is an algorithm H that computes the following mapping:
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly