Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory Subject: Re: Can D simulated by H terminate normally? Date: Thu, 2 May 2024 21:48:47 -0400 Organization: i2pn2 (i2pn.org) Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 3 May 2024 01:48:47 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3069793"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird X-Spam-Checker-Version: SpamAssassin 4.0.0 Content-Language: en-US In-Reply-To: Bytes: 2644 Lines: 34 On 5/2/24 2:46 PM, olcott wrote: > On 5/2/2024 6:03 AM, Richard Damon wrote: >> On 5/2/24 12:21 AM, olcott wrote: >>> On 5/1/2024 7:28 PM, Richard Damon wrote: >>>> On 5/1/24 11:51 AM, olcott wrote: >>>>> Every D simulated by H that cannot possibly stop running unless >>>>> aborted by H does specify non-terminating behavior to H. When >>>>> H aborts this simulation that does not count as D halting. >>>> >>>> Which is just meaningless gobbledygook by your definitions. >>>> >>>> It means that >>>> >>>> int H(ptr m, ptr d) { >>>>     return 0; >>>> } >>>> >>> >>> Your H is not simulating D at all thus not >>> "Every D simulated by H" quoted above >> >> Yes it is, it is just aborting the simulation before it started. >> > > D is never simulated by H is not the same as D is simulated by H. > D is simulated by H entails that 1 to N steps are simulated and > then the simulation is aborted or the simulation is never aborted. > > Then simulate EXACTLY 1 step and abort. It makes all but the most trivial programs "non-halting." Again, a TOY.,