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 : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 13. May 2025, 10:22:29
Autres entêtes
Organisation : -
Message-ID : <vvv30l$1ns3i$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Unison/2.2
On 2025-05-12 15:54:39 +0000, olcott said:

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.
A competent programmer, at least if you pay enough, may find that HHH
does not do an infintely recursive simulation and returns to DDD, which
then halts.
--
Mikko

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