Liste des Groupes | Revenir à c theory |
On 7/15/2024 2:30 PM, Fred. Zwarts wrote:It seems that olcott does not understand the x86 language.Op 15.jul.2024 om 04:33 schreef olcott:*The input is the machine address of this finite*On 7/14/2024 9:04 PM, Richard Damon wrote:>On 7/14/24 9:27 PM, olcott wrote:>>>
Any input that must be aborted to prevent the non termination
of simulating termination analyzer HHH necessarily specifies
non-halting behavior or it would never need to be aborted.
Excpet, as I have shown, it doesn't.
>
Your problem is you keep on ILEGALLY changing the input in your argument because you have misdefined what the input is.
>
_DDD()
[00002163] 55 push ebp ; housekeeping
[00002164] 8bec mov ebp,esp ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404 add esp,+04
[00002173] 5d pop ebp
[00002174] c3 ret
Size in bytes:(0018) [00002174]
>
The input *is* the machine address of this finite
string of bytes: 558bec6863210000e853f4ffff83c4045dc3
>
It seems that you do not understand x86 language. The input is not a string of bytes, but an address (00002163). This points to the starting of the code of DDD. But a simulation needs a program, not a function calling undefined other functions. Therefore, all functions called by DDD (such as HHH) are included in the code to simulate.
*string of bytes: 558bec6863210000e853f4ffff83c4045dc3*
Les messages affichés proviennent d'usenet.