Liste des Groupes | Revenir à c theory |
On 7/4/2025 8:22 AM, joes wrote:Right, and that means correctly simulating EVERY instruction that makes up the PROGRAM, which must include the code of *THE* HHH, or you can't "correctly simulate" the call instruction.Am Fri, 04 Jul 2025 07:50:23 -0500 schrieb olcott:On 7/4/2025 2:35 AM, Mikko wrote:>On 2025-07-03 12:56:42 +0000, olcott said:On 7/3/2025 3:57 AM, Mikko wrote:On 2025-07-03 02:50:40 +0000, olcott said:On 7/1/2025 11:37 AM, Mr Flibble wrote:On Mon, 30 Jun 2025 21:12:48 -0400, Richard Damon wrote:On 6/30/25 2:30 PM, Mr Flibble wrote:No. A simulator does not have to run a simulation to completion if
it can determine that the input, A PROGRAM, never halts.If. But here it confuses that with not being able to simulate past theIt is the correct simulation of the input that
recursive call.
>
specifies the actual behavior of this input.
If this simulation cannot simulate past the recursiveBut it can, as the call goes into HHH, and you then just simulate the code of HHH.
call then this correctly simulated input cannot possibly
reach its own correctly simulated final halt state.
int main()But *IS* accoutable for the behavior of the input, which happens, in this case, to be the caller.
{
DDD(); // Calls HHH(DDD) which is not accountable
} // for the behavior of its caller
No, DDD doesn't return an answer, HHH1 returns the value 1.DDD halts.What is the area of a square circle with a radius of 2?That is *not* the actual question.THe actual question is whatever someone asks.
>HHH(DDD) is asked: Does your input specify a computation that halts*?
DDD correctly simulated by HHH cannot possibly reach its own "return"
statement final halt state, so NO.*when executed directly, which is what should be simulated. HHH can't.HHH1(DDD) has the same behavior as the directly executed DDD()
>
Which begins with your lie, so you are just showing your stupidity.>THat is the same question if the input specifies the computation as
DDD. If it does not then HHH(DDD) is irrelevant and either the user's
manual of HHH species another input for the purpose or HHH is not
relevant to the halting problem.The full execution trace of the input to HHH1(DDD) is different than TheHHH1(DDD) is asked: Does your input specify a computation that halts?The user's manual of HHH1 apparently dpecifies different encoding
DDD correctly simulated by HHH1 reaches its own "return" statement
final halt state, so YES.
rules.
full execution trace of the input to HHH(DDD)
because DDD calls HHH in recursive simulation and does not call HHH1 in
recursive simulation.Uh, the traces both show a call to HHH.*This one page analysis by Clause.ai sum its up nicely*
>
https://claude.ai/share/da9b8e3f-eb16-42ca-a9e8-913f4b88202c
Les messages affichés proviennent d'usenet.