Liste des Groupes | Revenir à theory |
On 7/31/2024 10:08 PM, wij wrote:But a correct simulation is impossible. HHH cannot possibly simulate itself correctly.On Tue, 2024-07-30 at 18:50 -0500, olcott wrote:I have done this thousands of times and after someone>>
It is not supposed to be a general solution to the halting problem.
it only shows how the "impossible" input is correctly determined
to be non halting.
>
But how do you determine it is non-halting?
>
As I know you are even unable to define what 'halt' mean !!!
>
has read these thousands of times they say that I never
said it once.
void DDD()
{
HHH(DDD);
return;
}
int main()
{
HHH(DDD);
}
If DDD correctly emulated by HHH cannot possibly
reach its return instruction then it never halts.
Les messages affichés proviennent d'usenet.