Re: Can D simulated by H terminate normally?

Am Fri, 03 May 2024 06:55:15 -0500 schrieb olcott:

On 5/3/2024 4:33 AM, Mikko wrote:

On 2024-05-02 18:35:19 +0000, olcott said:

On 5/2/2024 4:39 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

>
When a simulating termination analyzer matches one of three
non-halting behavior patterns
(a) Simple Infinite loop
(b) Simple Infinite Recursion
(c) Simple Recursive Simulation

 
Simple recursive simulation is not a non-halting behaviour
if the recursion is not infinite.

 
In other words the only way that we can tell that an infinite
loop never halts is to simulate it until the end of time?

No, an infinite loop is different from infinite recursion.
Recursion can be finite (and usefully is so).

--
joes