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
0RB2LA1RA_1LA2RB1RC_1RZ1LB1LC
Status: Decided (Halt)
Decider: Coq-BB5 ➕
Machine code:
012
A 0RB2LA1RA
B 1LA2RB1RC
C 1RZ1LB1LC
Std format: 0RB2LA1RA_1LA2RB1RC_1RZ1LB1LC
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]