Deutsch English Français Italiano |
<v6nts5$2be3m$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: DDD correctly emulated by HHH is correctly rejected as non-halting. Date: Thu, 11 Jul 2024 09:25:09 +0300 Organization: - Lines: 37 Message-ID: <v6nts5$2be3m$1@dont-email.me> References: <v6m7si$1uq86$2@dont-email.me> <v6mhc7$20hbo$2@dont-email.me> <v6mhr3$20kkr$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 11 Jul 2024 08:25:09 +0200 (CEST) Injection-Info: dont-email.me; posting-host="d915db998623bee0999786efb2838ac1"; logging-data="2472054"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/zXV4OCcMKRB2Zo8QmpJUn" User-Agent: Unison/2.2 Cancel-Lock: sha1:mZSuWX/dfZ6WhhO8BxvbRiJ/l2M= Bytes: 1821 On 2024-07-10 17:53:38 +0000, olcott said: > On 7/10/2024 12:45 PM, Fred. Zwarts wrote: >> Op 10.jul.2024 om 17:03 schreef olcott: >>> typedef void (*ptr)(); >>> int HHH(ptr P); >>> >>> void DDD() >>> { >>> HHH(DDD); >>> } >>> >>> int main() >>> { >>> HHH(DDD); >>> } >> >> Unneeded complexity. It is equivalent to: >> >> int main() >> { >> return HHH(main); >> } >> > > > Every time any HHH correctly emulates DDD it calls the > x86utm operating system to create a separate process > context with its own memory virtual registers and stack, > thus each recursively emulated DDD is a different instance. However, each of those instances has the same sequence of instructions that the x86 language specifies the same operational meaning. -- Mikko