From Esolang
Jump to: navigation, search

Not to be confused with Turing machine.


All of the rules look like this:

cnd.num.:cnd.direction num



If the condition is Q, and the number on the tape is 1, the change the condition into E, change the tape into 0, and move left. conditions are:

Q, E, O, F

When the condition is F, the Turing-machine halts. Numbers are:

0, 1

They are on the tape, which is written onto it in input. When the Turing-machine halts, it prints the tape. Directions are:

<, >, -

<: move left. >: move right. -: stay the same.

Truth-machine(Beta version)


To mak it print 1 forever, it changes the whole tape into 1s. But, that still proves that is has halting, decision, repetition, input, and output,

Computational class

A Turing-machine program trivially describes a Turing machine, but with very few states and symbols, and not one of the combinations known to be sufficient for Turing completeness. It is therefore not clear if it can simulate all of them, which is the deciding criterion. (Note that universal Turing machines include the initial tape as part of the setup to simulate other Turing machines, so it's not trivial to show that it is not Turing-complete, either. I don't know if anyone has proved it.)