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
1RB1LD_1LC1RE_0LD0LC_0RE0RF_0RA1RZ_1RF1RA
Status: Decided (Halt)
Decider: Coq-BB5 ➕
Machine code:
| 0 | 1 | |
|---|---|---|
| A | 1RB | 1LD |
| B | 1LC | 1RE |
| C | 0LD | 0LC |
| D | 0RE | 0RF |
| E | 0RA | 1RZ |
| F | 1RF | 1RA |
Std format: 1RB1LD_1LC1RE_0LD0LC_0RE0RF_0RA1RZ_1RF1RA
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]