Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: 197 page execution trace of DDD correctly simulated by HHH Date: Fri, 28 Jun 2024 14:28:20 -0500 Organization: A noiseless patient Spider Lines: 33 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 28 Jun 2024 21:28:21 +0200 (CEST) Injection-Info: dont-email.me; posting-host="8e198617313100a552662932ac49ce17"; logging-data="3659828"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18sr5COGNAaBf8yRcFjRcP3" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:mEWoEGXkwbyL54rSdbdJ7/weRjo= Content-Language: en-US In-Reply-To: Bytes: 2967 On 6/28/2024 2:18 PM, joes wrote: > Am Fri, 28 Jun 2024 12:53:46 -0500 schrieb olcott: >> On 6/28/2024 12:41 PM, joes wrote: >>> Thanks for leaving the unanswered questions in place, though I’d rather >>> have you answer them. > I rest my case. > >>> Am Fri, 28 Jun 2024 12:05:18 -0500 schrieb olcott: >>>> On 6/28/2024 11:26 AM, joes wrote: >>>>> Am Fri, 28 Jun 2024 10:25:36 -0500 schrieb olcott: >>>>>> On 6/28/2024 8:14 AM, joes wrote: >>>>>>> Am Thu, 27 Jun 2024 12:30:38 -0500 schrieb olcott: > >>>>>>> To the caller DDD, which then returns to its own caller H0, which >>>>>>> returns „halting” to main… hold on. > Why doesn’t the first recursive H return? > HHH(DDD) simulates DDD that calls HHH(DDD) that simulates DDD that calls HHH(DDD) that proves to the outer directly executed HHH that it must abort and reject. Alternatively HHH(DDD) here: simulates DDD that calls HHH(DDD) that goto here: until out-of-memory error. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer