Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.software-eng > #3732
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.software-eng |
| Subject | Re: test formatting |
| Date | 2025-10-19 09:46 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <10d2tk8$2io13$1@dont-email.me> (permalink) |
| References | <10d2tds$2iis2$3@dont-email.me> <10d2tg2$2iis2$4@dont-email.me> <10d2thr$2iis2$5@dont-email.me> |
On 10/19/2025 9:45 AM, olcott wrote:
> 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.
>
>
<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