Re: How to write a self-referencial TM?

Liste des GroupesRevenir à c theory 
Sujet : Re: How to write a self-referencial TM?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 14. May 2025, 18:45:41
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1002ks5$2kb74$1@dont-email.me>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
On 5/14/2025 12:39 PM, wij wrote:
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 itself):
>
void D() {
    D();
}
>
Easy?
>
>
>
That is not a TM.
>
It is a C program that exists. Therefore, there must be a equivalent TM.
>
To make a TM that references itself the closest
thing is a UTM that simulates its own TM source-code.
>
How does a UTM simulate its own TM source-code?
>
>
You run a UTM that has its own source-code on its tape.
 What is exactly UTM?
https://en.wikipedia.org/wiki/Universal_Turing_machine

E.g. can the HHH in POOH or x86utm reads its own source-code?
 
As I have said many dozens of times and Mike affirmed
HHH does emulate itself emulating DDD. It does this
through direct access to its own x86 machine language.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
19 Nov 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal