Liste des Groupes | Revenir à theory |
On 4/30/2024 3:46 AM, Fred. Zwarts wrote:Op 29.apr.2024 om 21:04 schreef olcott:
The ONLY way that we can determine if any computation is correct is
when it meets its specification. When a TM is specified to calculate
the sum of a pair of decimal integers and it derives any decimal
integer other than 5 from inputs 2,3 then it is incorrect.
Changing the subject. The question is not whether it is correct, but
whether it halts. Incorrect programs exist and even those program may
halt.
I had to address this:
On 4/29/2024 11:17 AM, Alan Mackenzie wrote:There is no notion of "correct" in a turing machine. It is either
running, or has reached a final state. In the TM equivalent of "core
dump", a final state has most definitely been reached.
Core dump abnormal termination does not count as the program
correctly finished its processing.
There is no notion of "correct" in a turing machine. It is either
running, or has reached a final state. In the TM equivalent of "core
dump", a final state has most definitely been reached.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Les messages affichés proviennent d'usenet.