Re: Flat out dishonest or totally ignorant?

Liste des GroupesRevenir à theory 
Sujet : Re: Flat out dishonest or totally ignorant?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 02. Jul 2024, 03:09:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v5vng3$1f17p$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 7/1/2024 8:51 PM, Richard Damon wrote:
On 7/1/24 9:25 PM, olcott wrote:
typedef void (*ptr)();
int HHH(ptr P);
>
void Infinite_Loop()
{
   HERE: goto HERE;
}
>
void Infinite_Recursion()
{
   Infinite_Recursion();
}
>
void DDD()
{
   HHH(DDD);
}
>
int main()
{
   HHH(Infinite_Loop);
   HHH(Infinite_Recursion);
   HHH(DDD);
}
>
Every C programmer that knows what an x86 emulator is knows
that when HHH emulates the machine language of Infinite_Loop,
Infinite_Recursion, and DDD that it must abort these emulations
so that itself can terminate normally.
 Right.
 
Then why do you contradict yourself below? Did you forget to lie?

>
When this is construed as non-halting criteria then simulating
termination analyzer HHH is correct to reject these inputs as
non-halting by returning 0 to its caller.
 But only when you can actually PROVE that the full emulation of the program would be non-halting.
 
Too late you already agreed.
You must have forgot to lie.

>
Simulating termination analyzers must report on the behavior
that their finite string input specifies thus HHH must report
that DDD correctly emulated by HHH remains stuck in recursive
simulation.
 But if DDD WAS stuck in infinte recursion, so must be HHH, so it isn't a decider.
 
Too late, you already agreed that HHH(DDD) is correct.

HHH can't have different behavior when emulated by HHH then when it is actually run.
 The problem is that "Emulated by the Decider" is NOT a valid criteria for the behavior of the input, since it isn't a function of just the input.
 
Sure it is. If we don't do it that way then we stupidly
ignore that HHH(DDD) must abort its emulation.

The "Behavior of the input" will be the behavior of the program the input represents when it is run.
If we assume that then we stupidly ignore that
HHH(DDD) must abort its emulation.
Basically it is too late you forget to lie and told the truth
on the first point thus contradicting yourself on every other point.
--
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
2 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal