Instruction-Limited Busy Beaver - Revision history

Jacobzheng at 14:34, 25 September 2026

2026-09-25T14:34:38Z

← Older revision		Revision as of 14:34, 25 September 2026
Line 178:		Line 178:
	\|[[Talk:Champions\|See talk page]]		\|[[Talk:Champions\|See talk page]]
	\|[https://discord.com/channels/960643023006490684/1026577255754903572/1276881449685094495 Racheline in 2024]		\|[https://discord.com/channels/960643023006490684/1026577255754903572/1276881449685094495 Racheline in 2024]
	\|Current BB(50) champion		\|Current BB(51) champion
	\|		\|
	\|-		\|-

C1: /* Instruction-Limited Busy Beaver Variants */ Synchronized the symbols.

2026-09-24T14:19:44Z

Instruction-Limited Busy Beaver Variants: Synchronized the symbols.

← Older revision		Revision as of 14:19, 24 September 2026
Line 426:		Line 426:
	\|1		\|1
	\|1		\|1
	\|{{TM\|~~0RH~~\|halt}} {{TM\|~~1RH~~---\|halt}}		\|{{TM\|0RZ\|halt}} {{TM\|1RZ---\|halt}}
	\|-		\|-
	\|2		\|2
Line 480:		Line 480:
	\|{{TM\|0RB6RB1LB---3LA1RB7RB2LB_1LA2RB3LA4RB5RB1LB5LA---\|halt}}		\|{{TM\|0RB6RB1LB---3LA1RB7RB2LB_1LA2RB3LA4RB5RB1LB5LA---\|halt}}
	\|}		\|}

	== References ==		== References ==
	<references />		<references />

Loader3229 at 14:10, 24 September 2026

2026-09-24T14:10:57Z

← Older revision		Revision as of 14:10, 24 September 2026
Line 169:		Line 169:
	\|78		\|78
	\|<math>> f_{\varepsilon_0}(1.7\cdot10^{352})</math>		\|<math>> f_{\varepsilon_0}(1.7\cdot10^{352})</math>
	\|		\|<div class="toccolours mw-collapsible mw-collapsed">Machine code:<div class="mw-collapsible-content"><div style="word-break:break-all">{{TM\|1RB2LA1RA2LB2LA_0LA2RB3RB4RA1LQ_---1RC2LD------_0LK3RD2RD2RD4RD_------0RH1LS0RF_1LG1RF2RF---4RF_4LE1LG2LG---4LG_0LI1RH2RH---4RH_0RK0LJ------4RK_2LE1LJ2LJ---4LJ_4RP---0LE---0LK_2RQ---2LL---4LL_2LN---2RM3RM4RM_4RQ2RQ2LN3LN4LN_4LN---2RO3RO4RO_3LL1LP2LP1LQ4LP_1RC3RR1RM3LP0RO_3LL1RR2RR0RR4RR_1RC1LS2LS1LS4LS\|halt}}<br>{{TM\|1RB2LA1RA2LB2LA------_0LA2RB3RB4RA1LP------_---1RC2LD------------_0LJ3RD2RD2RD4RD------_4LE1LE0RG1LR0RF2LE4LE_1LE1RF5RF---6RF------_0LH1RG2RG---4RG------_0RJ0LI------4RJ------_2LE1LI2LI---4LI------_4RO---0LE---0LJ------_2RP---2LK---4LK------_2LM---2RL3RL4RL------_4RP2RP2LM3LM4LM------_4LM---2RN3RN4RN------_3LK1LO2LO1LP4LO------_1RC3RQ1RL3LO0RN------_3LK1RQ2RQ0RQ4RQ------_1RC1LR2LR1LR4LR------\|halt}}<br>{{TM\|1RB2LA1RA2LB2LA---------_0LA2RB3RB4RA1LO---------_---1RC2LD---------------_0LJ3RD2RD2RD4RD---------_4LE1LE0RG1LQ0RF2LE4LE---_1LE1RF5RF---6RF---------_0LH1RG2RG---4RG---------_0RJ0LI------4RJ---------_2LE1LI2LI---4LI---------_4RN---0LE---0LJ---------_2RO2RO2LK3LK4LK2LK4LK4RO_2LK---5RL3RL6RL---------_4LK---5RM3RM6RM---------_3LK1LN2LN1LO4LN---------_1RC3RP1RL3LN7RM---------_3LK1RP2RP0RP4RP---------_1RC1LQ2LQ1LQ4LQ---------\|halt}}</div></div></div>
	\|Wythagoras in 2014<ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(19,5)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(18,7)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(17,8)</ref>		\|Wythagoras in 2014<ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(19,5)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(18,7)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(17,8)</ref>
	\|Current BB(19,5), BB(18,7) and BB(17,8) champion		\|Current BB(19,5), BB(18,7) and BB(17,8) champion

Azerty: /* Champions */ Fixed order

2026-09-24T14:03:59Z

Champions: Fixed order

@@ Line 172: / Line 172: @@
 |Wythagoras in 2014<ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(19,5)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(18,7)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(17,8)</ref>
 |Current BB(19,5), BB(18,7) and BB(17,8) champion
+|
 |-
@@ Line 179: / Line 186: @@
 |Wythagoras in 2014<ref>https://googology.fandom.com/wiki/User_blog:Wythagoras/Hydra_machines</ref>
 |Current BB(42,9) champion
+|
 |-

Azerty: /* Champions */ Added large champions

2026-09-24T14:03:07Z

Champions: Added large champions

@@ Line 179: / Line 179: @@
 |Wythagoras in 2014<ref>https://googology.fandom.com/wiki/User_blog:Wythagoras/Hydra_machines</ref>
 |Current BB(42,9) champion
+|
 |}

Loader3229: /* Champions */

2026-09-24T14:01:22Z

Champions

← Older revision		Revision as of 14:01, 24 September 2026
Line 172:		Line 172:
	\|Wythagoras in 2014<ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(19,5)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(18,7)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(17,8)</ref>		\|Wythagoras in 2014<ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(19,5)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(18,7)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(17,8)</ref>
	\|Current BB(19,5), BB(18,7) and BB(17,8) champion		\|Current BB(19,5), BB(18,7) and BB(17,8) champion
			\|
			\|-
			\|237
			\|<math>> f_{\psi_0(\Omega_2)}(1.7\cdot10^{352})</math>
			\|
			\|Wythagoras in 2014<ref>https://googology.fandom.com/wiki/User_blog:Wythagoras/Hydra_machines</ref>
			\|Current BB(42,9) champion
	\|		\|
	\|}		\|}

Loader3229: /* Champions */

2026-09-24T13:56:16Z

Champions

@@ Line 151: / Line 151: @@
 |Jacobzheng in 2026
 |Current BB(11,3) champion
+|
 |-

Loader3229: /* Champions */

2026-09-24T13:42:48Z

Champions

← Older revision		Revision as of 13:42, 24 September 2026
Line 151:		Line 151:
	\|Jacobzheng in 2026		\|Jacobzheng in 2026
	\|Current BB(11,3) champion		\|Current BB(11,3) champion
			\|
			\|-
			\|78
			\|<math>> f_{\varepsilon_0}(1.7\cdot10^{352})</math>
			\|
			\|Wythagoras in 2014<ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(19,5)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(18,7)</ref><ref>https://googology.fandom.com/wiki/User:Wythagoras/Rado%27s_sigma_function/BB(17,8)</ref>
			\|Current BB(19,5), BB(18,7) and BB(17,8) champion
	\|		\|
	\|}		\|}

Loader3229: /* Champions */

2026-09-24T13:33:25Z

Champions

← Older revision		Revision as of 13:33, 24 September 2026
Line 144:		Line 144:
	\|Jacobzheng in 2026		\|Jacobzheng in 2026
	\|Current BB(8,3) champion		\|Current BB(8,3) champion
			\|
			\|-
			\|29
			\|<math>> f_{\omega+3}^2(4)</math>
			\|<span style="word-break:break-all">{{TM\|1LD2RG2LA_2LE2LH2RB_2LE1RC2RB_0RC1RD0LG_0LF1LE1LE_1RG1RI---_0RC1LH2RG_1RC2LH1LA_1RI1RI1LJ_0LA2LK---_---2LJ---\|halt}}</span>
			\|Jacobzheng in 2026
			\|Current BB(11,3) champion
	\|		\|
	\|}		\|}

Loader3229: /* Champions */

2026-09-24T13:27:14Z

Champions

← Older revision		Revision as of 13:27, 24 September 2026
Line 27:		Line 27:
	!BBi(n)		!BBi(n)
	!Step Champions		!Step Champions
			!Discovered by
	!Notes		!Notes
	!Reference		!Reference
Line 33:		Line 34:
	\| style="text-align: right;" \| '''1'''		\| style="text-align: right;" \| '''1'''
	\|{{TM\|0RZ\|halt}} {{TM\|1RZ---\|halt}}		\|{{TM\|0RZ\|halt}} {{TM\|1RZ---\|halt}}
			\|Trivial
	\|BB(1,2)		\|BB(1,2)
	\|[[oeis:A384629\|A384629]]		\|[[oeis:A384629\|A384629]]
Line 39:		Line 41:
	\| style="text-align: right;" \| '''3'''		\| style="text-align: right;" \| '''3'''
	\|{{TM\|0RB---_1LA---\|halt}}		\|{{TM\|0RB---_1LA---\|halt}}
			\|Trivial
	\|		\|
	\|[[oeis:A384629\|A384629]] [https://discord.com/channels/960643023006490684/960643023530762341/1393716114952818829 Shawn]		\|[[oeis:A384629\|A384629]] [https://discord.com/channels/960643023006490684/960643023530762341/1393716114952818829 Shawn]
Line 45:		Line 48:
	\| style="text-align: right;" \| '''5'''		\| style="text-align: right;" \| '''5'''
	\|{{TM\|1RB1LB_1LA---\|halt}} (and 13 others)		\|{{TM\|1RB1LB_1LA---\|halt}} (and 13 others)
			\|[[Tibor Radó]]
	\|[[BB(2)\|BB(2,2)]] - 1		\|[[BB(2)\|BB(2,2)]] - 1
	\|[[oeis:A384629\|A384629]] [https://discord.com/channels/960643023006490684/960643023530762341/1393716181214564353 Shawn]		\|[[oeis:A384629\|A384629]] [https://discord.com/channels/960643023006490684/960643023530762341/1393716181214564353 Shawn]
Line 51:		Line 55:
	\| style="text-align: right;" \| '''16'''		\| style="text-align: right;" \| '''16'''
	\|{{TM\|1RB---_0RC---_1LC0LA\|halt}}		\|{{TM\|1RB---_0RC---_1LC0LA\|halt}}
			\|
	\|		\|
	\|[[oeis:A384629\|A384629]] [https://discord.com/channels/960643023006490684/960643023530762341/1393716260587700447 Shawn]		\|[[oeis:A384629\|A384629]] [https://discord.com/channels/960643023006490684/960643023530762341/1393716260587700447 Shawn]
Line 57:		Line 62:
	\| style="text-align: right;" \| '''37'''		\| style="text-align: right;" \| '''37'''
	\|{{TM\|1RB2LB---_2LA2RB1LB\|halt}}		\|{{TM\|1RB2LB---_2LA2RB1LB\|halt}}
			\|Allen Brady in 1988
	\|[[BB(2,3)]] - 1		\|[[BB(2,3)]] - 1
	\|[[oeis:A384629\|A384629]] [https://discord.com/channels/960643023006490684/960643023530762341/1393716514234040341 Shawn]		\|[[oeis:A384629\|A384629]] [https://discord.com/channels/960643023006490684/960643023530762341/1393716514234040341 Shawn]
Line 63:		Line 69:
	\| style="text-align: right;" \| '''123'''		\| style="text-align: right;" \| '''123'''
	\|{{TM\|1RB3LA1RA0LA_2LA------3RA\|halt}}		\|{{TM\|1RB3LA1RA0LA_2LA------3RA\|halt}}
			\|
	\|		\|
	\|[[oeis:A384629\|A384629]] [https://discord.com/channels/960643023006490684/960643023530762341/1393768821478785207 Shawn]		\|[[oeis:A384629\|A384629]] [https://discord.com/channels/960643023006490684/960643023530762341/1393768821478785207 Shawn]
Line 70:		Line 77:
	\|{{TM\|1RB2LA1RA1RA_1LB1LA3RB---\|halt}}		\|{{TM\|1RB2LA1RA1RA_1LB1LA3RB---\|halt}}
	{{TM\|1RB2LA1RA_1LC1LA2RB_---1LA---\|halt}}		{{TM\|1RB2LA1RA_1LC1LA2RB_---1LA---\|halt}}
			\|Terry & Shawn Ligocki in 2005
	\|[[BB(2,4)]] - 1, and		\|[[BB(2,4)]] - 1, and
	A [[BB(3,3)]] high-ranking machine		A [[BB(3,3)]] high-ranking machine
Line 78:		Line 86:
	\| style="text-align: right;" \| <math>> 6.889 \times 10^{1,565}</math>		\| style="text-align: right;" \| <math>> 6.889 \times 10^{1,565}</math>
	\|{{TM\|1RB1LA------_1RC3LB1RB---_2LA2LC---0LC\|halt}}		\|{{TM\|1RB1LA------_1RC3LB1RB---_2LA2LC---0LC\|halt}}
			\|Nick Drozd in 2025
	\|Current Champion		\|Current Champion
	\|[https://discord.com/channels/960643023006490684/1084047886494470185/1398753236835635252 nickdrozd] [https://nickdrozd.github.io/2025/09/30/shape-of-a-turing-machine.html Blog] [https://discord.com/channels/960643023006490684/1084047886494470185/1398857599935578303 Shawn]		\|[https://discord.com/channels/960643023006490684/1084047886494470185/1398753236835635252 nickdrozd] [https://nickdrozd.github.io/2025/09/30/shape-of-a-turing-machine.html Blog] [https://discord.com/channels/960643023006490684/1084047886494470185/1398857599935578303 Shawn]
Line 84:		Line 93:
	\|<math display="block">> 10^{10^{10^{3\,314\,360}}}</math>		\|<math display="block">> 10^{10^{10^{3\,314\,360}}}</math>
	\|{{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA---\|halt}}		\|{{TM\|1RB3LA4RB0RB2LA_1LB2LA3LA1RA---\|halt}}
			\|Daniel Yuan in 2024
	\|Current [[BB(2,5)]] champion		\|Current [[BB(2,5)]] champion
	\|		\|
	\|-		\|-
	\|10		\|10
			\|
	\|		\|
	\|		\|
Line 96:		Line 107:
	\|<math> > 2 \uparrow^{15} 5</math>		\|<math> > 2 \uparrow^{15} 5</math>
	\|{{TM\|1RB3LB---2RA_2LC3RB1LC2RA_3RB1LB3LC2RC\|halt}}		\|{{TM\|1RB3LB---2RA_2LC3RB1LC2RA_3RB1LB3LC2RC\|halt}}
			\|Pavel Kropitz in 2024
	\|Current [[BB(3,4)]] champion		\|Current [[BB(3,4)]] champion
	\|		\|
	\|-		\|-
	\|...		\|...
			\|
	\|		\|
	\|		\|
Line 108:		Line 121:
	\|<math>> f_{\omega}(2 \uparrow^{15} 5)</math>		\|<math>> f_{\omega}(2 \uparrow^{15} 5)</math>
	\|{{TM\|1RB3LB4LC2RA4LB_2LC3RB1LC2RA---_3RB1LB3LC2RC4LC\|halt}}		\|{{TM\|1RB3LB4LC2RA4LB_2LC3RB1LC2RA---_3RB1LB3LC2RC4LC\|halt}}
			\|Racheline in 2024
	\|Current [[BB(3,5)]] champion		\|Current [[BB(3,5)]] champion
	\|		\|
Line 114:		Line 128:
	\|<math>> f_\omega^2(10\uparrow\uparrow\uparrow 6)</math>		\|<math>> f_\omega^2(10\uparrow\uparrow\uparrow 6)</math>
	\|{{TM\|1LE2LD2LC_2RB1RB1RA_2RB1LC0LC_1RB1LD2LD_2RD2LE2LF_------1LE\|halt}}		\|{{TM\|1LE2LD2LC_2RB1RB1RA_2RB1LC0LC_1RB1LD2LD_2RD2LE2LF_------1LE\|halt}}
			\|Jacobzheng in 2026
	\|Current BB(6,3) champion		\|Current BB(6,3) champion
	\|		\|
Line 120:		Line 135:
	\|<math>> f_\omega^2(10 \uparrow^4 4)</math>		\|<math>> f_\omega^2(10 \uparrow^4 4)</math>
	\|{{TM\|1RB1RA_1LH1RC_0LD0LG_0RE1LD_1RA1RF_---0RA_1LC1LG_1LJ1LI_1LK1LJ_---0LI_1RA1LH\|halt}}		\|{{TM\|1RB1RA_1LH1RC_0LD0LG_0RE1LD_1RA1RF_---0RA_1LC1LG_1LJ1LI_1LK1LJ_---0LI_1RA1LH\|halt}}
			\|Jacobzheng in 2026
	\|Current BB(11) champion		\|Current BB(11) champion
	\|		\|
Line 126:		Line 142:
	\|<math>> f_{\omega+1}(f_\omega(f_7(2)))</math>		\|<math>> f_{\omega+1}(f_\omega(f_7(2)))</math>
	\|{{TM\|1LD1LE2RA_1RE2LE2RB_1RD2RA2LC_1RB1RD2RB_1LH2RF1LC_---0LF1LG_1RD2LG2LG_0LD1LH1LH\|halt}}		\|{{TM\|1LD1LE2RA_1RE2LE2RB_1RD2RA2LC_1RB1RD2RB_1LH2RF1LC_---0LF1LG_1RD2LG2LG_0LD1LH1LH\|halt}}
			\|Jacobzheng in 2026
	\|Current BB(8,3) champion		\|Current BB(8,3) champion
	\|		\|