Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: wij <wyniijj5@gmail.com>
Newsgroups: comp.theory
Subject: Re: How to write a self-referencial TM?
Date: Thu, 15 May 2025 01:39:12 +0800
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <3730ad28e597073892c1ab23233df671d82e2b8a.camel@gmail.com>
References: <1e4f1a15826e67e7faf7a3c2104d09e9dadc6f06.camel@gmail.com>
	 <1002akp$2i4bk$2@dont-email.me>
	 <479eebef3bd93e82c8fe363908b254b11d15a799.camel@gmail.com>
	 <1002jkk$2k00a$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Wed, 14 May 2025 19:39:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="fb98f5982c5f4b769d69fe2bc947602b";
	logging-data="2756555"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+1rR1sQK2uA/YtPR5DcPc0"
User-Agent: Evolution 3.54.3 (3.54.3-1.fc41)
Cancel-Lock: sha1:yWtK+F6ng/frTB9w7gbLxRu1It4=
In-Reply-To: <1002jkk$2k00a$3@dont-email.me>
Bytes: 2035

On Wed, 2025-05-14 at 12:24 -0500, olcott wrote:
> On 5/14/2025 11:43 AM, wij wrote:
> > On Wed, 2025-05-14 at 09:51 -0500, olcott wrote:
> > > On 5/14/2025 12:13 AM, wij wrote:
> > > > Q: Write a turing machine that performs D function (which calls its=
elf):
> > > >=20
> > > > void D() {
> > > > =C2=A0=C2=A0 D();
> > > > }
> > > >=20
> > > > Easy?
> > > >=20
> > > >=20
> > >=20
> > > That is not a TM.
> >=20
> > It is a C program that exists. Therefore, there must be a equivalent TM=
..
> >=20
> > > To make a TM that references itself the closest
> > > thing is a UTM that simulates its own TM source-code.
> >=20
> > How does a UTM simulate its own TM source-code?
> >=20
>=20
> You run a UTM that has its own source-code on its tape.

What is exactly UTM?=C2=A0
E.g. can the HHH in POOH=C2=A0or x86utm reads its own source-code?