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