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
1RB1LB1LA_2RC2RB---_0LA1RC---
Status: Decided (Halt)
Decider: Coq-BB5 ➕
Machine code:
| 0 | 1 | 2 | |
|---|---|---|---|
| A | 1RB | 1LB | 1LA |
| B | 2RC | 2RB | --- |
| C | 0LA | 1RC | --- |
Std format: 1RB1LB1LA_2RC2RB---_0LA1RC---
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]