0RB1LB 1LA1RB - Revision history

HelpMe: fixed link

2026-10-31T12:55:39Z

fixed link

← Older revision		Revision as of 12:55, 31 October 2026
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. 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>		{{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),<ref>Crorem, September 2026. [https://discord.com/channels/960643023006490684/1385498968011575366/1552497071762706462 Discord message]</ref> 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 the first zero being emitted at transition 18; thus, BBBB(M) = 18.		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 ==

HelpMe: elaborate

2026-10-31T12:54:26Z

elaborate

← Older revision		Revision as of 12:54, 31 October 2026
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. It was ~~discovered and reported~~ by Charlie Reams in October 2026, correcting an [[wikipedia:Off-by-one error\|off-by-1 error]] in previous work.<ref>[https://discord.com/channels/960643023006490684/1243312334907375676/1565879387927224474 Discord message]</ref> ~~This is~~ proven to be the champion ~~for this state and symbol count~~.<ref>https://~~github~~.com/~~calr3~~/~~bbbb~~</ref>		{{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 ~~and~~ the first zero is emitted at transition 18, so BBBB(M) = 18.		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 ==

Polygon: Moved article of the BBBB(2) champion to correct TM

2026-10-31T12:06:23Z

Moved article of the BBBB(2) champion to correct TM

New page

{{machine|0RB1LB_1LA1RB}}
{{TM|0RB1LB_1LA1RB}} is the [[Beeping Booping Busy Beaver]] champion for BBBB(2), pseudoquasihalting after 18 steps. It was discovered and reported by Charlie Reams in October 2026, correcting an [[wikipedia:Off-by-one error|off-by-1 error]] in previous work.<ref>[https://discord.com/channels/960643023006490684/1243312334907375676/1565879387927224474 Discord message]</ref> This is proven to be the champion for this state and symbol count.<ref>https://github.com/calr3/bbbb</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 and the first zero is emitted at transition 18, so BBBB(M) = 18.

== References ==