Liste des Groupes | Revenir à theory |
Op 03.jul.2024 om 05:55 schreef olcott:You dishonestly redefined the problem so that it has no correct answer.On 7/2/2024 10:50 PM, joes wrote:That would be an error of the simulator, because it aborts its own simulation too soon, one cycle before the simulated HHH would return andAm Tue, 02 Jul 2024 14:46:38 -0500 schrieb olcott:>On 7/2/2024 2:17 PM, Fred. Zwarts wrote:>Op 02.jul.2024 om 21:00 schreef olcott:On 7/2/2024 1:42 PM, Fred. Zwarts wrote:Op 02.jul.2024 om 14:22 schreef olcott:On 7/2/2024 3:22 AM, Fred. Zwarts wrote:Op 02.jul.2024 om 03:25 schreef olcott:>>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.
Whether or not it *must* abort is not very relevant.
This <is> the problem that I am willing to discuss.
I am unwilling to discuss any other problem.
This does meet the Sipser approved criteria.>Repeating the same thing that has already been proved to beIf you disagree with this you are either dishonest or clueless I no
irrelevant does not bring the discussion any further.
Sipser is not relevant, because that is about a correct simulation.
Your simulation is not correct.
>
longer care which one.Whatever HHH does, it does not run forever but aborts.>DDD is correctly emulated by HHH which calls an emulated HHH(DDD) to>
repeat the process until aborted.
HHH repeats the process twice and aborts too soon.
You are freaking thinking too damn narrow minded.
DDD is correctly emulated by any HHH that can exist which calls this
emulated HHH(DDD) to repeat the process until aborted (which may be
never).
>
HHH halts on input DDD.
>
void DDD()
{
HHH(DDD);
}
>
DDD correctly simulated by HHH cannot possibly halt.
>
then DDD would return as well. A correct simulation would show that.--
(And you have shown such correct simulations!)
So, your set of "DDD correctly simulated by HHH" is proved to be empty.
It makes no sense to discuss whether an empty set halts or not.
Try to broaden your mind. We are trying to help you. Try to learn something, instead of repeatedly running in baseless circles of reasoning.
Les messages affichés proviennent d'usenet.