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