Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Chris M. Thomasson" Newsgroups: comp.lang.c,comp.lang.c++ Subject: Re: Can someone please verify the execution trace of this? Date: Mon, 20 May 2024 12:50:03 -0700 Organization: A noiseless patient Spider Lines: 66 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 20 May 2024 21:50:04 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c64270d287de33e0b6496e257486af9b"; logging-data="165370"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18b+92oo0ZoZPkVJu89Va/KWS9/mcYOlkA=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:TPG+swvT84ok48HSWuVwgdB7Z3I= In-Reply-To: Content-Language: en-US Bytes: 3969 On 5/20/2024 12:48 PM, olcott wrote: > On 5/20/2024 2:44 PM, Chris M. Thomasson wrote: >> On 5/20/2024 12:40 PM, olcott wrote: >>> On 5/20/2024 2:38 PM, Chris M. Thomasson wrote: >> [...] >>>> So, your thing will tell me if a program XYZ will halt or not only >>>> _after_ it simulates to infinity? What am I missing here? >>> >>> *The 100% totally complete every single detail scope of my post* >>> *The 100% totally complete every single detail scope of my post* >>> *The 100% totally complete every single detail scope of my post* >>> >>> typedef int (*ptr)();  // ptr is pointer to int function >>> 00 int H(ptr p, ptr i); >>> 01 int D(ptr p) >>> 02 { >>> 03   int Halt_Status = H(p, p); >>> 04   if (Halt_Status) >>> 05     HERE: goto HERE; >>> 06   return Halt_Status; >>> 07 } >>> 08 >>> 09 int main() >>> 10 { >>> 11   H(D,D); >>> 12   return 0; >>> 13 } >>> [...] >>> For every H/D pair of the above template D correctly simulated by pure >>> function (thus computable function) H cannot possibly reach its own >>> final state at line 06 and halt. >>> >>> >> >> Define H? > > I have two fully operational examples of H that have been fully > operational for years. I am not talking about those. I am only > talking this: > > typedef int (*ptr)();  // ptr is pointer to int function > 00 int H(ptr p, ptr i); > 01 int D(ptr p) > 02 { > 03   int Halt_Status = H(p, p); > 04   if (Halt_Status) > 05     HERE: goto HERE; > 06   return Halt_Status; > 07 } > 08 > 09 int main() > 10 { > 11   H(D,D); > 12   return 0; > 13 } > > Every element of an infinite set of H/D pairs matching the above > template where H correctly simulates 1 to ∞ steps of D thus including > 0 to ∞ recursive simulations of H simulating itself simulating D. > *D correctly simulated by H never reaches its own line 06 and halts* > > Can I create a program that your simulator will correctly say, halts or not? If so, how? How does your simulator call into my program? Where do I begin execution?