Liste des Groupes | Revenir à theory |
On 7/28/2024 4:10 AM, Mikko wrote:That's correct. But you have used the word anyway.On 2024-07-27 18:14:52 +0000, Alan Mackenzie said:A Turing machine has no notion of being aborted.
olcott <polcott333@gmail.com> wrote:Stopping running is not the same as halting.
DDD emulated by HHH stops running when its emulation has been aborted.
This is not the same as reaching its ret instruction and terminating
normally (AKA halting).I think you're wrong, here. All your C programs are a stand in for
turing machines. A turing machine is either running or halted. There is
no third state "aborted". An aborted C program certainly doesn't
correspond with a running turing machine - so it must be a halted turing
machine.So aborted programs are halted programs. If you disagree, perhaps youMay I disagree? An "aborted" Turing machine is a runnung Turing machine.
could point out where in my arguments above I'm wrong.
Les messages affichés proviennent d'usenet.