Deutsch English Français Italiano |
<v85kp7$3v9fb$3@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) Date: Sun, 28 Jul 2024 09:32:07 -0500 Organization: A noiseless patient Spider Lines: 78 Message-ID: <v85kp7$3v9fb$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 28 Jul 2024 16:32:08 +0200 (CEST) Injection-Info: dont-email.me; posting-host="e780778616be4582a0134c2484eeadc2"; logging-data="4171243"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+m/tMiqspKIjPxAxvW5osr" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:bSi1FxgG5/OK183yP2ma0tMk59c= Content-Language: en-US Bytes: 4000 It is ridiculously stupid to expect the correct emulation of a non-halting input to end. HHH(DDD) is the exact same pattern with Infinite_Recursion() where there are no conditional branch instructions that would prevent the first three instructions of Infinite_Recursion() from endlessly repeating. void Infinite_Recursion() { Infinite_Recursion(); } _Infinite_Recursion() [0000215a] 55 push ebp ; 1st line [0000215b] 8bec mov ebp,esp ; 2nd line [0000215d] e8f8ffffff call 0000215a ; 3rd line [00002162] 5d pop ebp [00002163] c3 ret Size in bytes:(0010) [00002163] Begin Local Halt Decider Simulation Execution Trace Stored at:113934 [0000215a][00113924][00113928] 55 push ebp ; 1st line [0000215b][00113924][00113928] 8bec mov ebp,esp ; 2nd line [0000215d][00113920][00002162] e8f8ffffff call 0000215a ; 3rd line [0000215a][0011391c][00113924] 55 push ebp ; 1st line [0000215b][0011391c][00113924] 8bec mov ebp,esp ; 2nd line [0000215d][00113918][00002162] e8f8ffffff call 0000215a ; 3rd line Local Halt Decider: Infinite Recursion Detected Simulation Stopped If you cannot see that the above x86 machine code proves that it will never halt then you can't possibly understand what I have been saying. The first three lines of _Infinite_Recursion() repeat and there are no conditional branch in that sequence that can possibly keep it from repeating forever. HHH(DDD) is the exact same pattern is shown below. The first four lines of DDD repeat and there are are no conditional branch in that sequence that can possibly keep it from repeating forever. ===== void DDD() { HHH(DDD); } _DDD() [00002177] 55 push ebp ; 1st line [00002178] 8bec mov ebp,esp ; 2nd line [0000217a] 6877210000 push 00002177 ; push DDD [0000217f] e853f4ffff call 000015d7 ; call HHH [00002184] 83c404 add esp,+04 [00002187] 5d pop ebp [00002188] c3 ret Size in bytes:(0018) [00002188] // executed HHH emulates 1st instance of DDD New slave_stack at:10388d Begin Local Halt Decider Simulation Execution Trace Stored at:113895 [00002177][00113885][00113889] 55 push ebp ; 1st line [00002178][00113885][00113889] 8bec mov ebp,esp ; 2nd line [0000217a][00113881][00002177] 6877210000 push 00002177 ; push DDD [0000217f][0011387d][00002184] e853f4ffff call 000015d7 ; call HHH // emulated HHH emulates 2nd instance of DDD New slave_stack at:14e2b5 [00002177][0015e2ad][0015e2b1] 55 push ebp ; 1st line [00002178][0015e2ad][0015e2b1] 8bec mov ebp,esp ; 2nd line [0000217a][0015e2a9][00002177] 6877210000 push 00002177 ; push DDD [0000217f][0015e2a5][00002184] e853f4ffff call 000015d7 ; call HHH Local Halt Decider: Infinite Recursion Detected Simulation Stopped -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer