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
1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ
Status: Decided (Halt)
Decider: Coq-BB5 ➕
Machine code:
01234
A 1RB3LA4RB0RB2LA
B 1LB2LA3LA1RA1RZ
Std format: 1RB3LA4RB0RB2LA_1LB2LA3LA1RA1RZ
Copy code for https://turingmachine.io/
View at https://fiery.pages.dev/turing/
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]