Liste des Groupes | Revenir à c theory |
On 8/16/2024 12:54 PM, Richard Damon wrote:On 8/16/24 1:11 PM, olcott wrote:On 8/16/2024 11:47 AM, joes wrote:Am Fri, 16 Aug 2024 10:07:08 -0500 schrieb olcott:On 8/16/2024 9:59 AM, joes wrote:Am Fri, 16 Aug 2024 09:42:13 -0500 schrieb olcott:On 8/16/2024 9:28 AM, Richard Damon wrote:On 8/16/24 10:09 AM, olcott wrote:On 8/16/2024 8:34 AM, Mikko wrote:On 2024-08-16 12:02:00 +0000, olcott said:
Yes, because DDD is defined to call its simulator. If you changeBut that also construes that HHH is a program that DOES an
unlimited emulation of DDD, and thus isn't a decider
the simulator to abort, you also change the simulated HHH. Nobody
cares about HHH aborting a pure simulator.
*is never abortedPrediction of behavior of unlimited emulation means prediction ofYes, an unlimited simulation of an aborting HHH.NOT AT ALL, NEVER HAS.HHH must predict what the behavior of an unlimited simulationThe HHH that aborts must predict what DDD calling an aborting HHH
would be.
does
PREDICT WHAT THE BEHAVIOR WOULD BE IF IT WAS AN UNLIMITED EMULATION
behavior that never aborts.
Funny how you say that.Right, but the unlimited emulation of the DDD that calls the HHH thatI think that you are just twisting my words again.
says non-halting will reach a final state.
The unlimited emulation of DDD by HHH never stops running.The complete simulation of the aborting HHH (called by DDD)
Les messages affichés proviennent d'usenet.