Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state

Liste des GroupesRevenir à theory 
Sujet : Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 12. May 2025, 16:54:39
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vvt5jv$14pca$12@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird
On 5/12/2025 9:41 AM, Richard Heathfield wrote:
On 12/05/2025 15:36, olcott wrote:
 <snip>
 
It is nutty to require a simulating termination
analyzer to simulate a non-terminating input forever.
 I have to agree with you here. In fact, you've put your finger on the precise reason that it's nutty to try to analyse a program's termination behaviour by simulating it.
 
Unless like every competent programmer
HHH can spot the repeating pattern of DDD
correctly emulated by HHH in N steps of
correct emulation.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
10 May 25 * Try and prove that DDD correctly emulated by HHH reaches its final halt state30olcott
10 May 25 +* First, prove that DDD is correctly emulated by HHH8Richard Heathfield
10 May 25 i`* Try and prove that DDD correctly emulated by HHH reaches its final halt state7olcott
10 May 25 i +* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state5Richard Heathfield
10 May 25 i i`* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state4olcott
10 May 25 i i `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state3Richard Heathfield
10 May 25 i i  `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state2olcott
10 May 25 i i   `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
10 May 25 i `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
10 May 25 +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
10 May 25 +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Fred. Zwarts
10 May 25 `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state19Mikko
10 May 25  `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state18olcott
10 May 25   +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Fred. Zwarts
10 May 25   +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
11 May 25   `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state15Mikko
11 May 25    `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state14olcott
11 May 25     +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
12 May 25     `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state12Mikko
12 May 25      `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state11olcott
12 May 25       +* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state8Richard Heathfield
12 May 25       i+* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state6olcott
12 May 25       ii+- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1dbush
12 May 25       ii+* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state3Richard Heathfield
12 May 25       iii`* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state2olcott
12 May 25       iii `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Heathfield
13 May 25       ii`- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Mikko
13 May 25       i`- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Mikko
13 May 25       +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
13 May 25       `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal