Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.software-eng > #3731
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.software-eng |
| Subject | Re: test formatting |
| Date | 2025-10-19 09:45 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <10d2thr$2iis2$5@dont-email.me> (permalink) |
| References | <10d2tds$2iis2$3@dont-email.me> <10d2tg2$2iis2$4@dont-email.me> |
On 10/19/2025 9:44 AM, olcott wrote: > On 10/19/2025 9:43 AM, olcott wrote: >> <Input to LLM systems> >> Please think this all the way through without making any guesses >> >> Simulating Termination Analyzer HHH correctly simulates its input until: >> (a) Detects a non-terminating behavior pattern: >> abort simulation and return 0. >> >> (b) Simulated input reaches its simulated "return" >> statement: return 1. >> >> (c) If HHH must abort its simulation to prevent its >> own non-termination then HHH is correct to abort >> this simulation and return 0. >> > > <Input to LLM systems> > Please think this all the way through without making any guesses > > Simulating Termination Analyzer HHH correctly simulates its input until: > (a) Detects a non-terminating behavior pattern: > abort simulation and return 0. > > (b) Simulated input reaches its simulated "return" > statement: return 1. > > (c) If HHH must abort its simulation to prevent its > own non-termination then HHH is correct to abort > this simulation and return 0. > > <Input to LLM systems> Please think this all the way through without making any guesses Simulating Termination Analyzer HHH correctly simulates its input until: (a) Detects a non-terminating behavior pattern: abort simulation and return 0. (b) Simulated input reaches its simulated "return" statement: return 1. (c) If HHH must abort its simulation to prevent its own non-termination then HHH is correct to abort this simulation and return 0. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
Back to comp.software-eng | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
test formatting olcott <polcott333@gmail.com> - 2025-10-19 09:43 -0500
Re: test formatting olcott <polcott333@gmail.com> - 2025-10-19 09:44 -0500
Re: test formatting olcott <polcott333@gmail.com> - 2025-10-19 09:45 -0500
Re: test formatting olcott <polcott333@gmail.com> - 2025-10-19 09:46 -0500
Re: test formatting olcott <polcott333@gmail.com> - 2025-10-19 09:47 -0500
csiph-web