Deutsch English Français Italiano |
<v35dpm$od8s$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> Newsgroups: comp.lang.c++,comp.lang.c Subject: Re: D correctly simulated by H never halts Date: Tue, 28 May 2024 13:11:33 -0700 Organization: A noiseless patient Spider Lines: 5 Message-ID: <v35dpm$od8s$1@dont-email.me> References: <v2ns85$1rd65$1@dont-email.me> <v2s46t$2pj9q$2@dont-email.me> <v2ud85$396ga$1@dont-email.me> <v2v4r7$3chkl$2@dont-email.me> <v2vcud$3dtct$2@dont-email.me> <v2vhsr$3eilv$1@dont-email.me> <v2vl9s$3f6bi$1@dont-email.me> <v31hts$3uu5d$1@dont-email.me> <v323mi$29pd$3@dont-email.me> <v3474q$hf7u$1@dont-email.me> <v34omi$kj65$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 28 May 2024 22:11:35 +0200 (CEST) Injection-Info: dont-email.me; posting-host="599a67a091159cd1c67eb8d53b582384"; logging-data="800028"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+fnhSi/wNmNeWnJ9fHOFKpD6te1eKlekg=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:XFz3YUfCpMo/RfQYoOjBj2d9HZc= In-Reply-To: <v34omi$kj65$1@dont-email.me> Content-Language: en-US Bytes: 1493 On 5/28/2024 7:11 AM, olcott wrote: [...] > H is a pure simulator or a pure function. [...] Can you show us a little pseudo code for H?