1RB2LA0LA 2LC---2RA 0RA2RC1LC: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} | {{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} | ||
{{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC|undecided}} | {{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC|undecided}} | ||
This machine is listed as "unofficial holdout ID 494" in the 3x3 mugshots holdout list. | |||
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:Stub]] | [[Category:Stub]] | ||
Revision as of 22:46, 13 September 2024
1RB2LA0LA_2LC---2RA_0RA2RC1LC (bbch)
This machine is listed as "unofficial holdout ID 494" in the 3x3 mugshots holdout list.
On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a