Liste des Groupes | Revenir à theory |
On 2024-07-19 10:02, olcott wrote:A self-modifying TM knows that it is only simulated by a UTM
A Self-Modifying Turing Machine is defined as a TuringUmm. Maybe explain how that's supposed to work...
Machine Description that has access to its own tape
location on the UTM that is simulating it.
A TM has no idea whether it is being run directly or being run in a UTM. And even if it is being run in a UTM, it certainly does NOT have access to the machine description which is present on the UTM's tape.
There's lots of examples of UTMs available on the web. Maybe you should actually try playing around with some of them so you can learn how actual UTMs work. Hint: It's not how you think.--
André
>
Les messages affichés proviennent d'usenet.