Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: "Fred. Zwarts" Newsgroups: comp.theory Subject: =?UTF-8?Q?Re=3A_Computable_Functions_---_finite_string_transformati?= =?UTF-8?Q?on_rules_---_0_=E2=89=A01?= Date: Sun, 27 Apr 2025 08:15:57 +0200 Organization: A noiseless patient Spider Lines: 36 Message-ID: References: <6d9ae3ac08bbbe4407fc3612441fc2032f949a3d@i2pn2.org> <7ac75991b443ba53d52960ddb1932524dea8e03f@i2pn2.org> <40b048f71fe2ed2a8ef11d2d587c765c8fcbc977@i2pn2.org> <09bba11868dafecb6800ba8aec152304fec97553@i2pn2.org> <51a4be0ebc0ddc76954fd2e5ec1c5951b5f306e3@i2pn2.org> <6bd35d1c5fb0d281a29dc8e56458f2b83f63d878@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 27 Apr 2025 08:15:58 +0200 (CEST) Injection-Info: dont-email.me; posting-host="ae23edbd9f2ff10f9b4e5eebfee85502"; logging-data="200913"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18Fmtkl5zCYVE6T84y4p8kh" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:k4zkabj0UzgCI/RMfSismIKULDw= Content-Language: nl, en-GB In-Reply-To: Op 26.apr.2025 om 21:32 schreef olcott: > On 4/26/2025 1:19 PM, Fred. Zwarts wrote: >> Op 26.apr.2025 om 18:15 schreef olcott:>> >>> _DD() >>> [00002133] 55         push ebp      ; housekeeping >>> [00002134] 8bec       mov ebp,esp   ; housekeeping >>> [00002136] 51         push ecx      ; make space for local >>> [00002137] 6833210000 push 00002133 ; push DD >>> [0000213c] e882f4ffff call 000015c3 ; call HHH(DD) >>> [00002141] 83c404     add esp,+04 >>> [00002144] 8945fc     mov [ebp-04],eax >>> [00002147] 837dfc00   cmp dword [ebp-04],+00 >>> [0000214b] 7402       jz 0000214f >>> [0000214d] ebfe       jmp 0000214d >>> [0000214f] 8b45fc     mov eax,[ebp-04] >>> [00002152] 8be5       mov esp,ebp >>> [00002154] 5d         pop ebp >>> [00002155] c3         ret >>> Size in bytes:(0035) [00002155] >>> >>> When any HHH emulates DD according to the finite >>> string transformation rules specified by the x86 >>> language (the line of demarcation between correct >>> and incorrect emulation) no emulated DD can possibly >>> reach its final halt state and halt. >>> >> This behaviour of HHH blocks the analysis of the behaviour of DD. >> This failure of HHH shows that it is not the right tool to analyse DD. >> There are other tools that have no problem to reach the final end. > > *You are clueless about this thus WILL NEVER GET IT* > > "according to the finite string transformation rules >  specified by the x86 language." Indeed, HHH violates those rules, because it aborts a finite recursion. As has been pointed out hundredth times.