Liste des Groupes | Revenir à cl c |
On 5/21/2024 3:29 PM, olcott wrote:It is essentially trivial to see that D correctly simulated by HOn 5/21/2024 5:20 PM, Chris M. Thomasson wrote:You think I want to think up thousands of lines of C code to try to read your odd mind wrt H? Post them. It's C code, right? No wonder you do not want to expose it to a black box program to see if it halts or not... Yawn.On 5/21/2024 3:18 PM, Chris M. Thomasson wrote:>On 5/21/2024 3:09 PM, olcott wrote:>
[...]I have two fully operational versions of H that run under Windows[...]
and Linux. Those are off topic.
>
Oh, how nice. lol.
>
Show me some pseudo code of H? ;^)
Once you understand my code template then it is easy to see how > termination analyzer H would correctly determine the termination
status of its input D. Thousands of lines of C code would only
make this much harder to understand.
>
Les messages affichés proviennent d'usenet.