Re: How the requirements that Professor Sipser agreed to are exactly met

On 5/12/2025 7:12 PM, dbush wrote:

On 5/12/2025 7:53 PM, olcott wrote:

>
Simulating Termination analyzers cannot possibly report
on the actual behavior of non-terminating inputs
because this would cause themselves to never terminate.
>
They must always hypothesize what the behavior of the
input would be if they themselves never aborted.
>

 False.  They must always hypothesize what the behavior of algorithm described by the input would be if it was executed directly, as per the requirements:
 

Show the actual reasoning of how it makes sense
that a simulating termination analyzer should
ignore the behavior (to its own peril) that the
input actually specifies.
(1) This is always how its been done and all new ideas are bad ideas?
(2) Textbooks say that and everyone knows that textbooks are infallible?
(3) Dennis Bush is only here to be disagreeable?
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer