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

On 10/05/2025 05:21, olcott wrote:
<snip>

A termination analyzer is correct if it can process a
single input that itself has no inputs.

Provided you get to choose the input, you mean? If so, the claim is meaningless, because:
void input()
{
}
bool analyze(program *p)
{
   return true;
}
int main()
{
   analyze(input);
   puts("Halts.";
}
processes a single input that can correct a single input that itself has no inputs. Big deal.
You need a better definition.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within