Liste des Groupes | Revenir à c theory |
On 2024-05-01 18:16, Richard Damon wrote:Try and back that up with reasoning anchored in quotes from my paper.On 5/1/24 11:26 AM, olcott wrote:Actually, by the metric which he gives, every single decider in existence is a correct termination analyzer, which tends to suggest this metric is relatively useless.It is a termination analyzer thus is not required to be infallibly>
correct on every possible input. It must get at least one input
correctly.
In other words, it is a TOY.
>
By your definition:
>
H(ptr m, ptr d) {
return 1;
}
>
is a correct termination analyzer, as it will get at least one input correctly.
André
Les messages affichés proviennent d'usenet.