Liste des Groupes | Revenir à c theory |
On 2024-05-11 00:30:40 +0000, olcott said:You are doing a great job performing an honest review!
A termination analyzer is different than a halt decider in that it needFrom https://www.google.fi/search?q=termination+analysis and
not correctly determine the halt status of every input. For the purposes
of this paper a termination analyzer only needs to correctly determine
the halt status of one terminating input and one non-terminating input.
The computer science equivalent would be a halt decider with a limited
domain that includes at least one halting and one non-halting input.
https://en.wikipedia.org/wiki/Termination_analysis :
"In computer science, termination analysis is program analysis which attempts to determine whether the evaluation of a given program halts for each input. This means to determine whether the input program computes a total function."
So the term "termination analysis" is already defined. The derived term
"termination analyzer" means a performer of termination analysis. That
does not agree with the propsed defintion above so a differnt term
should be used.
That "termination analysis" is a know term that need not be defined
is demostrated e.g. by
https://arxiv.org/pdf/2101.09783
which simply assumes that readers know (at least approximately) what
the term means.
Les messages affichés proviennent d'usenet.