| olcott <NoOne@NoWhere.com>: Apr 01 02:16PM -0500 On 4/1/2021 12:47 PM, Richard Damon wrote: > reference the tape it keeps moving back and forth and just runs. > If you are losing yourself in that description, because it is too > abstract, let us look at how to do simulators on a standard computer. We take the simpler case of a master UTM M that is simulating a UTM H that is simulating itself. The master UTM M has a portion of its own tape for (a) The machine description of the simulated UTM H (b) The tape of the simulated UTM H (c) A scratch area for M to perform the simulation of H If a UTM is literally simulating itself then every time that it does this it must provide a tape for each subsequent simulation. If it makes a copy of itself and simulates the copy then it is not simulating itself. The only way to model actual recursion is for a UTM to literally simulate itself without making a copy. -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein |
| You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page. To unsubscribe from this group and stop receiving emails from it send an email to comp.lang.c+++unsubscribe@googlegroups.com. |
No comments:
Post a Comment