Liste des Groupes | Revenir à c theory |
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 infalliblyIn other words, it is a TOY.
correct on every possible input. It must get at least one input
correctly.
By your definition:
H(ptr m, ptr d) {
return 1;
}
is a correct termination analyzer, as it will get at least one input correctly.
Les messages affichés proviennent d'usenet.