Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Who here understands that the last paragraph is Necessarily true?
 --- Self-Modifying Turing Machine
Date: Fri, 19 Jul 2024 20:10:13 -0500
Organization: A noiseless patient Spider
Lines: 27
Message-ID: <v7f2pl$37icv$1@dont-email.me>
References: <v6un9t$3nufp$1@dont-email.me> <v7013v$2ccv$1@dont-email.me>
 <v70nt7$61d8$6@dont-email.me>
 <58fc6559638120b31e128fe97b5e955248afe218@i2pn2.org>
 <v71mjh$bp3i$1@dont-email.me>
 <1173a460ee95e0ca82c08abecdefc80ba86646ac@i2pn2.org>
 <v71okl$bvm2$1@dont-email.me>
 <5f6daf68f1b4ffac854d239282bc811b5b806659@i2pn2.org>
 <v71ttb$crk4$1@dont-email.me>
 <60e7a93cb8cec0afb68b3e40a0e82e9d63fa8e2a@i2pn2.org>
 <v721po$h4kr$1@dont-email.me> <v73td3$qkp2$6@dont-email.me>
 <v73tvs$qpi9$1@dont-email.me> <v74n81$13bn1$1@dont-email.me>
 <fafa57d75cf800c930c76530acd72148c77fff87@i2pn2.org>
 <v75ul2$19j7l$5@dont-email.me> <v77s2f$1o4oh$1@dont-email.me>
 <v78gi1$1rc43$6@dont-email.me> <v7d5r0$2t5hr$1@dont-email.me>
 <v7dsit$30pvh$4@dont-email.me>
 <16d10a0709c3c319cbb98138bb8937b4f7e9c563@i2pn2.org>
 <v7e2mn$3251t$1@dont-email.me> <v7f19p$37c8h$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 20 Jul 2024 03:10:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c302f5257903c7c25aa8d1f6976e7879";
	logging-data="3393951"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+m+MYfDqC3dgJubIR6F4Er"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:nnCEqzIpOg3xaM8aJVrugomTdHo=
In-Reply-To: <v7f19p$37c8h$1@dont-email.me>
Content-Language: en-US
Bytes: 2912

On 7/19/2024 7:44 PM, André G. Isaak wrote:
> On 2024-07-19 10:02, olcott wrote:
> 
>> A Self-Modifying Turing Machine is defined as a Turing
>> Machine Description that has access to its own tape
>> location on the UTM that is simulating it.
> 
> Umm. Maybe explain how that's supposed to work...
> 
> 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.
> 

A self-modifying TM knows that it is only simulated by a UTM
and knows where it is located on the UTM 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é
>
-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer