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.
·
What is this?
·
Visualization:
Machine
1RB------_2RC---2RB_2LC2RB0RC
Status: Decided (Halt)
Decider: Coq-BB5 ➕
Machine code:
012
A 1RB------
B 2RC---2RB
C 2LC2RB0RC
Std format: 1RB------_2RC---2RB_2LC2RB0RC
Copy code for https://turingmachine.io/
View at https://fiery.pages.dev/turing/
Create wiki entry
Change machine:
Highlighted machines
BB(3,3) champion:
≃119×1015\simeq 119 \times 10^{15}-halter [Terry and Shawn Ligocki, 2007]
3-state 3-symbol Cryptids:
· Bigfoot [Shawn Ligocki, 2024]