0RB1LB 1LA1RB: Difference between revisions
Moved article of the BBBB(2) champion to correct TM |
elaborate |
||
| Line 1: | Line 1: | ||
{{machine|0RB1LB_1LA1RB}} | {{machine|0RB1LB_1LA1RB}} | ||
{{TM|0RB1LB_1LA1RB}} is the [[Beeping Booping Busy Beaver]] champion for BBBB(2), pseudoquasihalting after 18 steps. | {{TM|0RB1LB_1LA1RB}} is the [[Beeping Booping Busy Beaver]] champion for BBBB(2), pseudoquasihalting after 18 steps. This champion was rediscovered by Charlie Reams in October 2026, correcting an [[wikipedia:Off-by-one error|off-by-1 error]] in previous work by racheline.<ref>[https://discord.com/channels/960643023006490684/1243312334907375676/1565879387927224474 Discord message]</ref> It was discovered in September 2026 (though announced with little fanfare),<sup>[https://discord.com/channels/960643023006490684/1385498968011575366/1552497071762706462]</sup> and proven to be the BBBB(2) champion by Crorem the following month.<ref>https://gitlab.com/Crorem/coq-bbbb3/-/commit/a9532006b900edc8dcc4d66ba2ff11a2335e9f78</ref> | ||
With boop transition A1 and beep transition A0, the machine boops at steps 6, 13, 18, ...; the first interval contains a single beep (therefore emitting a 1), and all later intervals contain no beeps (therefore emitting 0 infinitely thereafter). So, in the BBBB interpretation, it outputs an infinite stream of zeroes beyond this point | With boop transition A1 and beep transition A0, the machine boops at steps 6, 13, 18, ...; the first interval contains a single beep (therefore emitting a 1), and all later intervals contain no beeps (therefore emitting 0 infinitely thereafter). So, in the BBBB interpretation, it outputs an infinite stream of zeroes beyond this point, with the first zero being emitted at transition 18; thus, BBBB(M) = 18. | ||
== References == | == References == | ||
Revision as of 12:54, 31 October 2026
0RB1LB_1LA1RB (bbch) is the Beeping Booping Busy Beaver champion for BBBB(2), pseudoquasihalting after 18 steps. This champion was rediscovered by Charlie Reams in October 2026, correcting an off-by-1 error in previous work by racheline.[1] It was discovered in September 2026 (though announced with little fanfare),[1] and proven to be the BBBB(2) champion by Crorem the following month.[2]
With boop transition A1 and beep transition A0, the machine boops at steps 6, 13, 18, ...; the first interval contains a single beep (therefore emitting a 1), and all later intervals contain no beeps (therefore emitting 0 infinitely thereafter). So, in the BBBB interpretation, it outputs an infinite stream of zeroes beyond this point, with the first zero being emitted at transition 18; thus, BBBB(M) = 18.