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

Liste des GroupesRevenir à c theory 
Sujet : Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theory
Date : 12. May 2025, 15:41:38
Autres entêtes
Organisation : Fix this later
Message-ID : <vvt1b3$13l2b$3@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla Thunderbird
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.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within

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