1RB2LA0LA 2LC---2RA 0RA2RC1LC: Difference between revisions
Jump to navigation
Jump to search
(Created page with "{{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} {{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} <code>@-d</code> — 13 Jun 2024 at 1:28 AM ET Proved this TM infinite in Coq: https://discord.com/channels/960643023006490684/1259770474897080380/1261554831055786045") |
(Removed space between templates) |
||
| (7 intermediate revisions by 5 users not shown) | |||
| Line 1: | Line 1: | ||
{{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} | {{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}{{Stub}} | ||
{{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} | {{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC|undecided}} 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 | |||
Latest revision as of 10:07, 11 August 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