Choose challenge
Challenge goal
Setting the challenge's goal is work in progress.
Meanwhile, you can browse a list of interesting 2-state 5-symbol machines.
·
What is this?
·
Visualization:
Machine
1RB2LB---------_2LA4RB3LB4LB3RB
Status: Decided (Halt)
Decider: Coq-BB5 ➕
Machine code:
01234
A 1RB2LB---------
B 2LA4RB3LB4LB3RB
Std format: 1RB2LB---------_2LA4RB3LB4LB3RB
Copy code for https://turingmachine.io/
View at https://fiery.pages.dev/turing/
Create wiki entry
Change machine:
Highlighted machines
BB(2,5) champion:
≃1010103314360\simeq 10^{10^{10^{3314360}}}-halter [Daniel Yuan, 2024]
2-state 5-symbol Cryptids:
· Hydra [Daniel Yuan, 2024]
· Bonus Cryptid [Daniel Yuan, 2024]