2.7 KiB
turing_machine
A simulation of a Turing machine (https://en.wikipedia.org/wiki/Turing_machine) with a two-way register and a card reader
Operation of the turing machine
First the machine will read card one for instructions. The machine will start at registry position zero, it will read the value there (which will be zero) and write the value from the card to that registry entry, then it will move the write head in the indicated direction. After the instruction on the card has been executed it will move to the indicated next card. If that card is the zeroeth card, the machine will halt.
The anatomy of a Card
This is an example of a one card busy beaver:
1
1
0
1
0
0
that means
# If registry is zero
1 # What to write one or zero
1 # Move left for 1 move right for 0
0 # Number of next card, an int
# If registry is one
1 # What to write one or zero
0 # Move right for 1 move left for 0
0 # Number of next card, an int
This means that if the registry value is 0 write a 1 to the left and then move to card zero (halt). If the registry value is 0 write a 1 to the right and then move to card zero.
That is to say that the first three rows correspond to a registry of zero and the last three rows correspond to a registry of one.
A card that will move to the left if it is zero and the right if it is one and then exit, but leave everything else in place looks like this:
0
1
0
1
0
0
Compiler/decompiler
To make it easier to code there is a compiler and a decompiler available, if you have cards that you want to convert to a .tm-file you can use the decompiler:
./decompiler.py adder.tm cards/
If you have a .tm-file that you want to convert to cards, you can similarly use the compiler:
./compiler.py adder.tm adder
This will give you a stack of cards for the adder.tm program in the adder director, which will be created for you
The .tm file can have comments starting with a #-sign and empty lines with only whitespace in them
Otherwise the format of a .tm-file is this:
cardnumber:write_zero,move_zero,next_zero,write_one,move_one,next_one
For instance, the one card busy beaver would look like this:
# This is a comment, blank lines ar ok too, like the next line
1:1,1,0,1,0,0
The adder program
The adder program on the cards in the repository will add two binary numbers in registry position -1 to -7 and 1 to 7 and place the result in registry position 1 to 8. It does this by decrementing the number in -1 to -7 by one and incrementing the number in 1 to 7 untill the number in the negative part of the registry is zero. The hard code values for the two numbers is 8 and 3 but can be changed to any pair of 7 bit number