Re: How to write a self-referencial TM?

Andy Walker <anw@cuboid.co.uk> writes:

On 14/05/2025 21:16, Richard Heathfield wrote:

On 14/05/2025 21:00, Keith Thompson wrote:

I presume that one-way and two-way infinite tapes are computationally
equivalent, so the distinction doesn't matter all that much.

>
Indeed, there are lots of computationally equivalent versions:
>
 -- two or more tapes [indeed, two-dimensional tapes]
 -- one-way or two-way
 -- "paper" tapes where you can punch holes to change the content but not
      stick the chad back in to "unpunch" the holes
 -- two symbol, three symbol, ...
 -- move two or more spaces at a time
 -- others I've forgotten

Not to mention the very common variant where landing on Free Parking
means you get all the money from the center of the board.  Or was that
something else?

[...]

--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */