Deutsch English Français Italiano |
<v4sfuo$1enie$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: Simulating termination analyzers by dummies --- What does halting mean? Date: Tue, 18 Jun 2024 12:25:44 -0500 Organization: A noiseless patient Spider Lines: 33 Message-ID: <v4sfuo$1enie$1@dont-email.me> References: <v4oaqu$f9p5$1@dont-email.me> <v4os9e$i70m$1@dont-email.me> <v4p9mb$lavj$1@dont-email.me> <v4qe53$a0nm$1@i2pn2.org> <v4qn65$10qh6$1@dont-email.me> <v4qnkf$a0nm$5@i2pn2.org> <v4qpvo$10qh6$2@dont-email.me> <v4qrmd$a0nm$6@i2pn2.org> <v4qrr8$15beg$1@dont-email.me> <v4qsav$a0nn$3@i2pn2.org> <v4qtaa$15gc5$1@dont-email.me> <v4qu3p$a0nm$7@i2pn2.org> <v4quti$15nn8$1@dont-email.me> <v4rrge$bivn$1@i2pn2.org> <v4s1l0$1boeu$6@dont-email.me> <v4seq5$cbcu$1@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 18 Jun 2024 19:25:45 +0200 (CEST) Injection-Info: dont-email.me; posting-host="817dd47f58e869d78494e0bf13c00909"; logging-data="1531470"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX189vtg6/hs9lxJuMXEMLPFq" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:xCQoexvg0SsS6yL1wEIl0kcf0dY= In-Reply-To: <v4seq5$cbcu$1@i2pn2.org> Content-Language: en-US Bytes: 2516 On 6/18/2024 12:06 PM, joes wrote: void DDD() { H0(DDD); } DDD correctly simulated by any H0 cannot possibly halt. > DDD halts iff H0 halts. Halting is a technical term-of-the-art that corresponds to terminates normally. Because Turing machines are abstract mathematical objects there has been no notion of abnormal termination for a Turing machine. We can derive a notion of abnormal termination for Turing machines from the standard terms-of-the-art. Some TM's loop and thus never stop running, this is classical non-halting behavior. UTM's simulate Turing machine descriptions. This is the same thing as an interpreter interpreting the source-code of a program. A UTM can be adapted so that it only simulates a fixed number of iterations of an input that loops. When this UTM stops simulating this Turing machine description we cannot correctly say that this looping input halted. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer