Re: How do simulating termination analyzers work?

Liste des GroupesRevenir à c theory 
Sujet : Re: How do simulating termination analyzers work?
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory comp.ai.philosophy sci.logic
Date : 19. Jun 2025, 10:21:24
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1030kqk$3pfor$1@dont-email.me>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
Op 18.jun.2025 om 15:46 schreef olcott:
On 6/18/2025 5:12 AM, Fred. Zwarts wrote:
Op 18.jun.2025 om 03:54 schreef olcott:
On 6/17/2025 8:19 PM, Richard Damon wrote:
On 6/17/25 4:34 PM, olcott wrote:
void Infinite_Recursion()
{
   Infinite_Recursion();
   return;
}
>
void Infinite_Loop()
{
   HERE: goto HERE;
   return;
}
>
void DDD()
{
   HHH(DDD);
   return;
}
>
When it is understood that HHH does simulate itself
simulating DDD then any first year CS student knows
that when each of the above are correctly simulated
by HHH that none of them ever stop running unless aborted.
>
WHich means that the code for HHH is part of the input, and thus there is just ONE HHH in existance at this time.
>
Since that code aborts its simulation to return the answer that you claim, you are just lying that it did a correct simulation (which in this context means complete)
>
>
*none of them ever stop running unless aborted*
>
All of them do abort and their simulation does not need an abort.
>
 *It is not given that any of them abort*
 
At least it is true for all aborting ones, such as the one you presented in Halt7.c.

Date Sujet#  Auteur
17 Jun 25 * How do simulating termination analyzers work?190olcott
18 Jun 25 +* Re: How do simulating termination analyzers work?185Richard Damon
18 Jun 25 i`* Re: How do simulating termination analyzers work?184olcott
18 Jun 25 i +* Re: How do simulating termination analyzers work?157Fred. Zwarts
18 Jun 25 i i`* Re: How do simulating termination analyzers work?156olcott
18 Jun 25 i i +* Re: How do simulating termination analyzers work?6joes
18 Jun 25 i i i`* Re: How do simulating termination analyzers work?5olcott
18 Jun 25 i i i +* Re: How do simulating termination analyzers work?3joes
18 Jun 25 i i i i`* Re: How do simulating termination analyzers work?2olcott
19 Jun 25 i i i i `- Re: How do simulating termination analyzers work?1Richard Damon
19 Jun 25 i i i `- Re: How do simulating termination analyzers work?1Richard Damon
19 Jun 25 i i +* Re: How do simulating termination analyzers work?15Richard Damon
19 Jun 25 i i i`* Re: How do simulating termination analyzers work?14olcott
19 Jun 25 i i i +* Re: How do simulating termination analyzers work?7Fred. Zwarts
19 Jun 25 i i i i`* Re: How do simulating termination analyzers work?6olcott
20 Jun 25 i i i i +- Re: How do simulating termination analyzers work?1Richard Damon
20 Jun 25 i i i i `* Re: How do simulating termination analyzers work?4Fred. Zwarts
20 Jun 25 i i i i  `* Re: How do simulating termination analyzers work?3olcott
21 Jun 25 i i i i   +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i i i   `- Re: How do simulating termination analyzers work?1Fred. Zwarts
20 Jun 25 i i i `* Re: How do simulating termination analyzers work?6Richard Damon
20 Jun 25 i i i  `* Re: How do simulating termination analyzers work?5olcott
20 Jun 25 i i i   `* Re: How do simulating termination analyzers work?4Fred. Zwarts
20 Jun 25 i i i    `* Re: How do simulating termination analyzers work?3olcott
21 Jun 25 i i i     +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i i     `- Re: How do simulating termination analyzers work?1Fred. Zwarts
19 Jun 25 i i +* Re: How do simulating termination analyzers work?19Mikko
19 Jun 25 i i i`* Re: How do simulating termination analyzers work?18olcott
19 Jun 25 i i i +* Re: How do simulating termination analyzers work?16Fred. Zwarts
19 Jun 25 i i i i+* Re: How do simulating termination analyzers work?2olcott
20 Jun 25 i i i ii`- Re: How do simulating termination analyzers work?1Fred. Zwarts
20 Jun 25 i i i i`* Re: How do simulating termination analyzers work?13Mikko
20 Jun 25 i i i i `* Re: How do simulating termination analyzers work?12olcott
21 Jun 25 i i i i  +- Re: How do simulating termination analyzers work?1Richard Damon
21 Jun 25 i i i i  `* Re: How do simulating termination analyzers work?10Mikko
21 Jun 25 i i i i   `* Re: How do simulating termination analyzers work?9olcott
21 Jun 25 i i i i    +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i i i    `* Re: How do simulating termination analyzers work?7Mikko
22 Jun 25 i i i i     `* Re: How do simulating termination analyzers work?6olcott
23 Jun 25 i i i i      `* Re: How do simulating termination analyzers work?5Mikko
23 Jun 25 i i i i       `* Re: How do simulating termination analyzers work?4olcott
24 Jun 25 i i i i        `* Re: How do simulating termination analyzers work?3Mikko
24 Jun 25 i i i i         `* Re: How do simulating termination analyzers work?2olcott
25 Jun 25 i i i i          `- Re: How do simulating termination analyzers work?1Mikko
20 Jun 25 i i i `- Re: How do simulating termination analyzers work?1Richard Damon
19 Jun 25 i i `* Re: How do simulating termination analyzers work?115Fred. Zwarts
19 Jun 25 i i  `* Re: How do simulating termination analyzers work?114olcott
20 Jun 25 i i   `* Re: How do simulating termination analyzers work?113Fred. Zwarts
20 Jun 25 i i    `* Re: How do simulating termination analyzers work?112olcott
21 Jun 25 i i     +- Re: How do simulating termination analyzers work?1Richard Damon
21 Jun 25 i i     `* Re: How do simulating termination analyzers work?110Mikko
21 Jun 25 i i      `* Re: How do simulating termination analyzers work?109olcott
21 Jun 25 i i       +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i       +* Re: How do simulating termination analyzers work?102Mikko
22 Jun 25 i i       i`* Re: How do simulating termination analyzers work?101olcott
23 Jun 25 i i       i `* Re: How do simulating termination analyzers work?100Mikko
23 Jun 25 i i       i  `* Re: How do simulating termination analyzers work?99olcott
24 Jun 25 i i       i   `* Re: How do simulating termination analyzers work?98Mikko
24 Jun 25 i i       i    `* Re: How do simulating termination analyzers work?97olcott
25 Jun 25 i i       i     `* Re: How do simulating termination analyzers work?96Mikko
26 Jun 25 i i       i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism95Mikko
28 Jun 25 i i       i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism94olcott
28 Jun 25 i i       i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism93Mikko
28 Jun 25 i i       i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism92olcott
29 Jun 25 i i       i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism91Mikko
29 Jun 25 i i       i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism90olcott
30 Jun 25 i i       i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism89olcott
1 Jul 25 i i       i             `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism88Mikko
1 Jul 25 i i       i              `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism87olcott
2 Jul 25 i i       i               `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism86Mikko
3 Jul 25 i i       i                `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism85olcott
3 Jul 25 i i       i                 +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism1Richard Damon
4 Jul 25 i i       i                 +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism67Mikko
4 Jul 25 i i       i                 i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism66olcott
4 Jul 25 i i       i                 i +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism61joes
4 Jul 25 i i       i                 i i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE60olcott
5 Jul 25 i i       i                 i i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE59Alan Mackenzie
5 Jul 25 i i       i                 i i  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE58olcott
5 Jul 25 i i       i                 i i   `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE57Alan Mackenzie
5 Jul 25 i i       i                 i i    `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE56olcott
6 Jul 25 i i       i                 i i     +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Fred. Zwarts
6 Jul 25 i i       i                 i i     `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE54Alan Mackenzie
6 Jul 25 i i       i                 i i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE53olcott
6 Jul 25 i i       i                 i i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE52Alan Mackenzie
6 Jul 25 i i       i                 i i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE51olcott
6 Jul 25 i i       i                 i i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE50Alan Mackenzie
6 Jul 25 i i       i                 i i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE49olcott
6 Jul 25 i i       i                 i i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE48Alan Mackenzie
7 Jul 25 i i       i                 i i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE47olcott
7 Jul 25 i i       i                 i i             +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE44Fred. Zwarts
7 Jul 25 i i       i                 i i             i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE43olcott
7 Jul 25 i i       i                 i i             i +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
8 Jul 25 i i       i                 i i             i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE41Fred. Zwarts
8 Jul 25 i i       i                 i i             i  +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE9olcott
9 Jul 25 i i       i                 i i             i  i+* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE4Mikko
9 Jul 25 i i       i                 i i             i  ii`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE3olcott
10 Jul 25 i i       i                 i i             i  ii +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Mikko
10 Jul 25 i i       i                 i i             i  ii `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
9 Jul 25 i i       i                 i i             i  i+* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE3Fred. Zwarts
9 Jul 25 i i       i                 i i             i  ii`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE2olcott
10 Jul 25 i i       i                 i i             i  ii `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Fred. Zwarts
9 Jul 25 i i       i                 i i             i  i`- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
8 Jul 25 i i       i                 i i             i  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE31olcott
7 Jul 25 i i       i                 i i             `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE2Alan Mackenzie
5 Jul 25 i i       i                 i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism4Mikko
4 Jul 25 i i       i                 `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism16joes
29 Jun 25 i i       `* Re: How do simulating termination analyzers work?5Mikko
18 Jun 25 i `* Re: How do simulating termination analyzers work?26Richard Damon
18 Jun 25 +- Re: How do simulating termination analyzers work?1Mikko
19 Jun 25 `* Re: How do simulating termination analyzers work?3Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal