Liste des Groupes | Revenir à theory |
On 7/21/2024 4:52 AM, Mikko wrote:On 2024-07-20 13:03:50 +0000, olcott said:On 7/20/2024 4:01 AM, Mikko wrote:On 2024-07-19 14:18:05 +0000, olcott said:
Please explain how the two machines don't overwrite each other.A self modifying TM is merely a TM description that is simulated by a
UTM and has access to itself on the UTM tape.
The description on the tape is not running. It can't have access to itsIf it is executed as self-modifying that exectuion is not simulation,When a simulated Turing Machine Description is provided access to itself
as a simulation does not do what the simulated does not do. A simulator
that simulates a self-modifying automaton is not an UTM.
on the UTM tape it can do the same thing.
Les messages affichés proviennent d'usenet.