Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcon'tt <news2@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: How Partial Simulations correctly determine non-halting --- Ben's
 strawman deception
Date: Fri, 7 Jun 2024 16:10:40 +0200
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <v3v4d0$1o9em$2@dont-email.me>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me>
 <v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me>
 <_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk>
 <v3nkqr$h7f9$3@dont-email.me> <v3oeh5$jthg$2@dont-email.me>
 <v3of8e$lirl$1@dont-email.me> <v3ofld$jthh$1@dont-email.me>
 <v3oh8l$pi6u$3@dont-email.me> <v3ohkh$jthg$4@dont-email.me>
 <87frtr6867.fsf@bsb.me.uk> <v3pkig$v133$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 07 Jun 2024 16:10:40 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="24c9e250534ae0eda986f30a88f700b9";
	logging-data="1844694"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX197qAnUOodgu3y/0uS/snH6"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:/0Yc9ApRir5wQauMuTfueAnGaDY=
Content-Language: en-US
In-Reply-To: <v3pkig$v133$1@dont-email.me>
Bytes: 2453

On 5/06/24 14:09, olcott wrote:
> 
> void Recursion_Chain_03(int M)
> {
>    Recursion_Chain_01(M);
> }
> 
> void Recursion_Chain_02(int M)
> {
>    Recursion_Chain_03(M);
> }
> 
> void Recursion_Chain_01(int M)
> {
>    Recursion_Chain_02(M);
> }
> 
> int main()
> {
>    Output("Input_Halts = ", H(Recursion_Chain_01,(ptr)5));
> }
> 
> My simulating termination analyzer correctly determines
> that the above sequence will not terminate.

Your simulating termination analyzer incorrectly determines that the 
below sequence will not terminate.

void Recursion_Chain_03(int M)
{
    H(Recursion_Chain_01, M);
}

void Recursion_Chain_02(int M)
{
    H(Recursion_Chain_03, M);
}

void Recursion_Chain_01(int M)
{
    H(Recursion_Chain_02, M);
}

int main()
{
    Output("Input_Halts = ", H(Recursion_Chain_01,(ptr)5));
}