Liste des Groupes | Revenir à theory |
Op 01.aug.2024 om 14:34 schreef olcott:You are probably an atheist thus don't believeOn 8/1/2024 6:46 AM, Fred. Zwarts wrote:Irrelevant nonsense (probably written because olcott wants to distract from the truth) ignored.Op 01.aug.2024 om 13:28 schreef olcott:>On 8/1/2024 2:20 AM, joes wrote:>Am Wed, 31 Jul 2024 16:23:09 -0500 schrieb olcott:>On 7/31/2024 3:01 PM, Fred. Zwarts wrote:>Op 31.jul.2024 om 17:14 schreef olcott:On 7/31/2024 3:44 AM, Fred. Zwarts wrote:Op 31.jul.2024 om 06:09 schreef olcott:>This algorithm is used by all the simulating termination analyzers:We don't show any of HHH and show the execution trace of of just DDDThis assumption is incorrect if it means that HHH is an unconditional
assuming that HHH is an x86 emulator.
simulator that does not abort.If HHH can't simulate itself, it is not a decider.So, Sipser only agreed to a correct simulation, not with an incorrectint DD()
simulation that violates the semantics of the x86 language by skipping
the last few instructions of a halting program.
>
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
int main()
{
HHH(DD);
}
DD correctly emulated by HHH cannot possibly reach its own second line.
>
So we are back to your lack of software engineering skill.
Don't talk about software skill, when you do not even understand the software written by yourself.
>You cannot see that the second instruction of DD correctly*>
emulated by HHH cannot possibly be reached by DD. This
remains true no matter how many levels that HHH emulates
itself emulating DD.
Which only shows that the simulation of HHH by itself is incorrect.
No this only shows that you are a liar.
Les messages affichés proviennent d'usenet.