1RB---0RB0LA2RA_2LB2LA3RA4LB0LB
Jump to navigation
Jump to search
1RB---0RB0LA2RA_2LB2LA3RA4LB0LB (bbch) is a BB(2,5) holdout TM.
Rules were given by mxdys, see https://discord.com/channels/960643023006490684/1354037062830919690/1354037062830919690
Rules proved and nonhalting proof attempted by DrDisentangle, see https://github.com/rwst/bbchallenge/tree/main/1RB---0RB0LA2RA_2LB2LA3RA4LB0LB which also has a weak probabilistic argument for nonhalting. To be continued with better LLMs...