Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.lang.c,comp.theory,comp.lang.c++ Subject: Only C programmers tell the truth about the behavior of DD simulated by HHH Followup-To: comp.lang.c Date: Thu, 17 Apr 2025 10:38:30 -0500 Organization: A noiseless patient Spider Lines: 26 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Thu, 17 Apr 2025 17:38:31 +0200 (CEST) Injection-Info: dont-email.me; posting-host="9e54186204e3f985b1887a8e149a0720"; logging-data="989955"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18ArJBwprokGDzZiy27mcdR" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:7BkKpgwuwqBePW8pXv0aAdwXIVQ= X-Antivirus-Status: Clean X-Antivirus: Norton (VPS 250417-2, 4/17/2025), Outbound message Content-Language: en-US Bytes: 1617 typedef void (*ptr)(); int HHH(ptr P); int DD() { int Halt_Status = HHH(DD); if (Halt_Status) HERE: goto HERE; return Halt_Status; } int main() { HHH(DD); } DD simulated by HHH includes HHH simulating itself simulating DD until HHH sees the non-terminating pattern and rejects DD as non-terminating. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer