1RB2LA0LA 2LC---2RA 0RA2RC1LC: Difference between revisions
Jump to navigation
Jump to search
m (Removed undecided from bbch-link) |
(Added Category:BB(3,3)) |
||
| Line 3: | Line 3: | ||
On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a | On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a | ||
[[Category:BB(3,3)]] | |||
Latest revision as of 16:18, 27 September 2025
1RB2LA0LA_2LC---2RA_0RA2RC1LC (bbch) is a non-halting BB(3,3) TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at File:Mugshots small.pdf.
On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a