Sujet : Re: How to write a self-referencial TM?
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 15. May 2025, 08:07:54
Autres entêtes
Organisation : -
Message-ID : <10043sa$30qd0$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-05-14 05:13:40 +0000, wij said:
Q: Write a turing machine that performs D function (which calls itself):
void D() {
D();
}
Easy?
The function has no arguments so we may require that the tape of the
Turing machine is initally empty. The the Turing machine needs only
one rule:
in the initial state, if the tape position under the head is empty,
leave the tape psition under the head empty and move forward and
continue in the initial state.
-- Mikko