Choose challenge
Challenge goal
Setting the challenge's goal is work in progress.
Meanwhile, you can browse a list of interesting 6-state 2-symbol machines.
Meanwhile, you can browse a list of interesting 6-state 2-symbol machines.
Visualization:
Machine
1RB0RF_1LC1LB_0RE0LD_0LC0LB_0RA1RE_0RD1RZ
Status: Decided (Halt)
Decider: Coq-BB5 ➕
Machine code:
| 0 | 1 | |
|---|---|---|
| A | 1RB | 0RF |
| B | 1LC | 1LB |
| C | 0RE | 0LD |
| D | 0LC | 0LB |
| E | 0RA | 1RE |
| F | 0RD | 1RZ |
Std format: 1RB0RF_1LC1LB_0RE0LD_0LC0LB_0RA1RE_0RD1RZ
Copy code for https://turingmachine.io/
Highlighted machines
BB(6) champion:
· -halter [mxdys, 2025]
Other halting machines:
· -halter [mxdys, 2025]
· -halter [Kropitz, 2022]
6-state 2-symbol Cryptids:
· Antihydra [mxdys, Racheline, 2024]