Re: How to write a self-referencial TM?

Liste des GroupesRevenir à theory 
Sujet : Re: How to write a self-referencial TM?
De : wyniijj5 (at) *nospam* gmail.com (wij)
Groupes : comp.theory
Date : 14. May 2025, 18:53:41
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <05e306f20fcb7c88c497e353aaecd36b30fc752a.camel@gmail.com>
References : 1 2 3 4
User-Agent : Evolution 3.54.3 (3.54.3-1.fc41)
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 the source-code on its tape?


Date Sujet#  Auteur
21 May 26 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal