Liste des Groupes | Revenir à theory |
On 5/21/2024 10:13 PM, Keith Thompson wrote:Nope.Richard Damon <richard@damon-family.org> writes:I have stayed focused on the C and people kept totally
[snip]
>
Richard, will you *please* drop comp.lang.c from your posts on
this thread, at least for posts with no C content? olcott is not
persuadable, but perhaps you are.
>
ignoring the C so I had to explain what the C is important.
D correctly simulated by H cannot possibly reach its own final
state at line 06 and halt because D correctly simulated by
H remains stuck in recursive simulation.
This provides the basis for simulating termination analyzer H to
correctly determine that the halting problem's counter-example
input D cannot possibly halt.
Les messages affichés proviennent d'usenet.