1RB2LA0LA_2LC---2RA_0RA2RC1LC

From BusyBeaverWiki

Revision as of 22:21, 10 August 2025 by Polygon (talk | contribs) (Used Template:Stub)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

This article is a stub. You can help the BusyBeaverWiki by expanding it.

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

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=1RB2LA0LA_2LC---2RA_0RA2RC1LC&oldid=2952"