Re: DDD specifies recursive emulation to HHH and halting to HHH1

Liste des GroupesRevenir à c theory 
Sujet : Re: DDD specifies recursive emulation to HHH and halting to HHH1
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 03. Apr 2025, 07:37:31
Autres entêtes
Organisation : -
Message-ID : <vslabb$c58$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
User-Agent : Unison/2.2
On 2025-04-03 02:45:53 +0000, olcott said:

On 4/2/2025 9:10 AM, joes wrote:
Am Mon, 31 Mar 2025 18:34:17 -0500 schrieb olcott:
On 3/31/2025 5:54 PM, dbush wrote:
No, it is YOUR misconception.  The algorithm DDD consists of the
function DDD, the function HHH, and everything that HHH calls down to
the OS level.
 
We have already been over this.
HHH(DDD) and HHH1(DDD) have the same inputs all the way down to the OS
level. The ONLY difference is that DDD does not call HHH1(DDD) in
recursive emulation.
 
That is actually not a difference but the same that DDD calls HHH.
 That DDD calls HHH(DDD) instead of HHH1(DDD)
causes the behavior of DDD emulated by HHH and
DDD emulated by HHH1 to differ.
However, the correct answer is the same in both cases. Both DDD that
calls HHH and DDD1 that calls HHH1 halt. The only difference is which
one of HHH and HHH1 gives the right answer and which one the wrong one.
--
Mikko

Date Sujet#  Auteur
20 Mar 25 * DDD correctly emulated by HHH --- Correct Emulation Defined524olcott
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined485Mikko
20 Mar 25 i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined484olcott
21 Mar 25 i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined476Richard Damon
21 Mar 25 i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined475olcott
21 Mar 25 i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined471Mikko
21 Mar 25 i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined470olcott
22 Mar 25 i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined468Richard Damon
22 Mar 25 i i i i`* DDD correctly emulated by HHH --- Correct Emulation Defined 2467olcott
22 Mar 25 i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2462Richard Damon
22 Mar 25 i i i i i+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 25olcott
22 Mar 25 i i i i ii+* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 23Richard Damon
22 Mar 25 i i i i iii`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 22olcott
22 Mar 25 i i i i iii `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 21Richard Damon
22 Mar 25 i i i i ii`- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 21Mikko
22 Mar 25 i i i i i`* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum456olcott
22 Mar 25 i i i i i +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum454joes
22 Mar 25 i i i i i i`* III correctly emulated by EEE ---453olcott
22 Mar 25 i i i i i i +* Re: III correctly emulated by EEE ---451Richard Damon
22 Mar 25 i i i i i i i`* Re: III correctly emulated by EEE ---450olcott
23 Mar 25 i i i i i i i +* Re: III correctly emulated by EEE ---448Richard Damon
23 Mar 25 i i i i i i i i`* Re: III correctly emulated by EEE ---447olcott
23 Mar 25 i i i i i i i i `* Re: III correctly emulated by EEE ---446Richard Damon
23 Mar 25 i i i i i i i i  `* Re: III correctly emulated by EEE ---445olcott
23 Mar 25 i i i i i i i i   `* Re: III correctly emulated by EEE ---444Richard Damon
23 Mar 25 i i i i i i i i    `* Re: III correctly emulated by EEE ---443olcott
24 Mar 25 i i i i i i i i     `* Re: III correctly emulated by EEE ---442Richard Damon
24 Mar 25 i i i i i i i i      `* Re: III correctly emulated by EEE ---441olcott
24 Mar 25 i i i i i i i i       `* Re: III correctly emulated by EEE ---440Richard Damon
24 Mar 25 i i i i i i i i        `* Re: III correctly emulated by EEE ---439olcott
25 Mar 25 i i i i i i i i         `* Re: III correctly emulated by EEE ---438Richard Damon
25 Mar 25 i i i i i i i i          +* Re: III correctly emulated by EEE ---424olcott
25 Mar 25 i i i i i i i i          i+* Re: III correctly emulated by EEE ---422joes
25 Mar 25 i i i i i i i i          ii`* Re: III correctly emulated by EEE ---421olcott
25 Mar 25 i i i i i i i i          ii `* Re: III correctly emulated by EEE ---420joes
25 Mar 25 i i i i i i i i          ii  `* Re: III correctly emulated by EEE ---419olcott
26 Mar 25 i i i i i i i i          ii   +* Re: III correctly emulated by EEE ---417Richard Damon
26 Mar 25 i i i i i i i i          ii   i`* Re: III correctly emulated by EEE ---416olcott
26 Mar 25 i i i i i i i i          ii   i `* Re: III correctly emulated by EEE ---415Richard Damon
26 Mar 25 i i i i i i i i          ii   i  `* Re: III correctly emulated by EEE ---414olcott
27 Mar 25 i i i i i i i i          ii   i   `* Re: III correctly emulated by EEE ---413Richard Damon
27 Mar 25 i i i i i i i i          ii   i    `* DDD specifies recursive emulation to HHH and halting to HHH1412olcott
27 Mar 25 i i i i i i i i          ii   i     +* Re: DDD specifies recursive emulation to HHH and halting to HHH139Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i`* Re: DDD specifies recursive emulation to HHH and halting to HHH138olcott
27 Mar 25 i i i i i i i i          ii   i     i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i     i `* Re: DDD specifies recursive emulation to HHH and halting to HHH136Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i  +* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i     i  i`- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
27 Mar 25 i i i i i i i i          ii   i     i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH133olcott
27 Mar 25 i i i i i i i i          ii   i     i   +* Re: DDD specifies recursive emulation to HHH and halting to HHH131joes
28 Mar 25 i i i i i i i i          ii   i     i   i+* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i     i   ii`- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i`* Re: DDD specifies recursive emulation to HHH and halting to HHH128olcott
28 Mar 25 i i i i i i i i          ii   i     i   i `* Re: DDD specifies recursive emulation to HHH and halting to HHH127Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH126olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   +* Re: DDD specifies recursive emulation to HHH and halting to HHH122Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i`* Re: DDD specifies recursive emulation to HHH and halting to HHH121olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   i `* Re: DDD specifies recursive emulation to HHH and halting to HHH120Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH119olcott
28 Mar 25 i i i i i i i i          ii   i     i   i   i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH118Richard Damon
28 Mar 25 i i i i i i i i          ii   i     i   i   i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH117olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     +* Re: DDD specifies recursive emulation to HHH and halting to HHH18Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i`* Re: DDD specifies recursive emulation to HHH and halting to HHH17olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i `* Re: DDD specifies recursive emulation to HHH and halting to HHH16Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH15olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH14Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH13olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH12Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i     i      `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Fred. Zwarts
29 Mar 25 i i i i i i i i          ii   i     i   i   i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH18Mikko
29 Mar 25 i i i i i i i i          ii   i     i   i   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH17olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i       +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
29 Mar 25 i i i i i i i i          ii   i     i   i   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH14joes
29 Mar 25 i i i i i i i i          ii   i     i   i   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH13olcott
29 Mar 25 i i i i i i i i          ii   i     i   i   i       i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
30 Mar 25 i i i i i i i i          ii   i     i   i   i       i `- Re: DDD specifies recursive emulation to HHH and halting to HHH11joes
30 Mar 25 i i i i i i i i          ii   i     i   i   i       `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Mikko
28 Mar 25 i i i i i i i i          ii   i     i   i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH13joes
28 Mar 25 i i i i i i i i          ii   i     i   i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
29 Mar 25 i i i i i i i i          ii   i     i   i     `- Re: DDD specifies recursive emulation to HHH and halting to HHH11joes
28 Mar 25 i i i i i i i i          ii   i     i   `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
27 Mar 25 i i i i i i i i          ii   i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1372Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1371olcott
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH1354dbush
28 Mar 25 i i i i i i i i          ii   i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH1353olcott
28 Mar 25 i i i i i i i i          ii   i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH1352dbush
28 Mar 25 i i i i i i i i          ii   i       i  `* Re: DDD specifies recursive emulation to HHH and halting to HHH1351olcott
28 Mar 25 i i i i i i i i          ii   i       i   `* Re: DDD specifies recursive emulation to HHH and halting to HHH1350dbush
28 Mar 25 i i i i i i i i          ii   i       i    `* Re: DDD specifies recursive emulation to HHH and halting to HHH1349olcott
28 Mar 25 i i i i i i i i          ii   i       i     `* Re: DDD specifies recursive emulation to HHH and halting to HHH1348dbush
28 Mar 25 i i i i i i i i          ii   i       i      `* Re: DDD specifies recursive emulation to HHH and halting to HHH1347olcott
28 Mar 25 i i i i i i i i          ii   i       i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH160dbush
28 Mar 25 i i i i i i i i          ii   i       i       i`* Re: DDD specifies recursive emulation to HHH and halting to HHH159olcott
28 Mar 25 i i i i i i i i          ii   i       i       i +* Re: DDD specifies recursive emulation to HHH and halting to HHH142dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH141olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH137dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH136olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH111joes
28 Mar 25 i i i i i i i i          ii   i       i       i i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH110olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i i +* Re: DDD specifies recursive emulation to HHH and halting to HHH13dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i i i i`* Re: DDD specifies recursive emulation to HHH and halting to HHH12olcott
28 Mar 25 i i i i i i i i          ii   i       i       i i i i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
29 Mar 25 i i i i i i i i          ii   i       i       i i i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH15Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       i i i +- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
28 Mar 25 i i i i i i i i          ii   i       i       i i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH123dbush
28 Mar 25 i i i i i i i i          ii   i       i       i i `* Re: DDD specifies recursive emulation to HHH and halting to HHH13Richard Damon
28 Mar 25 i i i i i i i i          ii   i       i       i +* Re: DDD specifies recursive emulation to HHH and halting to HHH111Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       i `* Re: DDD specifies recursive emulation to HHH and halting to HHH15Fred. Zwarts
28 Mar 25 i i i i i i i i          ii   i       i       `* Re: DDD specifies recursive emulation to HHH and halting to HHH1286Richard Damon
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH17Fred. Zwarts
27 Mar 25 i i i i i i i i          ii   i       +* Re: DDD specifies recursive emulation to HHH and halting to HHH18joes
28 Mar 25 i i i i i i i i          ii   i       `- Re: DDD specifies recursive emulation to HHH and halting to HHH11Richard Damon
26 Mar 25 i i i i i i i i          ii   `- Re: III correctly emulated by EEE ---1joes
25 Mar 25 i i i i i i i i          i`- Re: III correctly emulated by EEE ---1Richard Damon
25 Mar 25 i i i i i i i i          `* Re: III correctly emulated by EEE ---13olcott
23 Mar 25 i i i i i i i `- Re: III correctly emulated by EEE ---1Mikko
23 Mar 25 i i i i i i `- Re: III correctly emulated by EEE ---1Mikko
22 Mar 25 i i i i i `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined 2 addendum1Richard Damon
22 Mar 25 i i i i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined 24Mikko
22 Mar 25 i i i `- Re: DDD correctly emulated by HHH --- Correct Emulation Defined1Mikko
21 Mar 25 i i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined3Richard Damon
21 Mar 25 i `* Re: DDD correctly emulated by HHH --- Correct Emulation Defined7Mikko
20 Mar 25 +* Re: DDD correctly emulated by HHH --- Correct Emulation Defined3Richard Damon
22 Mar 25 `* DDD correctly emulated by EEE --- Correct Emulation Defined35olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal