Choose challenge
Challenge goal
Setting the challenge's goal is work in progress.
Meanwhile, you can browse a list of interesting 3-state 3-symbol machines.
Meanwhile, you can browse a list of interesting 3-state 3-symbol machines.
Visualization:
Machine
1RB1RA---_1LC1LC2LA_2RA1LB1LA
Status: Decided (Halt)
Decider: Coq-BB5 ➕
Machine code:
| 0 | 1 | 2 | |
|---|---|---|---|
| A | 1RB | 1RA | --- |
| B | 1LC | 1LC | 2LA |
| C | 2RA | 1LB | 1LA |
Std format: 1RB1RA---_1LC1LC2LA_2RA1LB1LA
Copy code for https://turingmachine.io/
Highlighted machines
BB(3,3) champion:
-halter [Terry and Shawn Ligocki, 2007]
3-state 3-symbol Cryptids:
· Bigfoot [Shawn Ligocki, 2024]