Liste des Groupes | Revenir à c theory |
On 8/14/2024 4:09 AM, Fred. Zwarts wrote:Op 14.aug.2024 om 02:52 schreef olcott:
And not an emulation of all instructions.When one instruction is emulated completely then this is a completeA simulation of N instructions of DDD by HHH according to theIt is only a correct start of an incomplete simulation.
semantics of the x86 language is necessarily correct.
emulation of one instruction.
That's on you.When one instruction is emulated completely then this is a completeA correct simulation of N instructions of DDD by HHH is sufficient toIt is not,
correctly predict the behavior of an unlimited simulation.
emulation of one instruction.
Until you agree with that we are dead in the water.
Termination analyzers / halt deciders are only required to correctlyExactly. And this is the same input that, when used in direct
predict the behavior of their inputs.
execution, halts.
Termination analyzers / halt deciders are only required to correctlyIndeed, so your dreams of a HHH that does not abort and does not halt,
predict the behavior of their inputs, thus the behavior of non-inputs
is outside of their domain.
is a non-input and is outside the domain.
Les messages affichés proviennent d'usenet.