Deutsch   English   Français   Italiano  
<v44ru8$3m841$3@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Simplified proof that DDD correctly simulated by HHH does not
 halt
Date: Sun, 9 Jun 2024 13:23:04 -0500
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <v44ru8$3m841$3@dont-email.me>
References: <v44dle$3i5jo$2@dont-email.me> <v44jvn$3jnc8$3@dont-email.me>
 <v44qin$3g17f$5@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 09 Jun 2024 20:23:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f8e472f6a5ded880f3c8d2cedf42e75a";
	logging-data="3874945"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX181IHZViXGMFkPU48cgF9au"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:WslM1fjaou5D5YNzqfqxaImOews=
In-Reply-To: <v44qin$3g17f$5@i2pn2.org>
Content-Language: en-US
Bytes: 1997

On 6/9/2024 12:59 PM, joes wrote:
> Am Sun, 09 Jun 2024 11:07:19 -0500 schrieb olcott:
>> typedef void (*ptr)(); // pointer to void function
>> 01   void HHH(ptr P, ptr I)
>> 02   {
>> 03     P(I);
>> 04     return;
>> 05   }
>> 06 07   void DDD(int (*x)())
>> 08   {
>> 09     HHH(x, x);
>> 10     return;
>> 11   }
>> 12 13   int main()
>> 14   {
>> 15     HHH(DDD,DDD);
>> 16   }
>> 17
> 
>> In the above Neither DDD nor HHH ever reach their own return statement
>> thus never halt.
>> Most of my reviewers incorrectly believe that when HH(DD,DD) aborts its
>> simulated input that this simulated input halts.

You chopped out the mandatory prerequisite.
Please go back and prove that you understand what infinite
recursion is before proceeding.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer