1RB0RA 1LC1LF 1RD0LB 1RA1LE 1RZ0LC 1RG1LD 0RG0RF - Revision history

Polygon: /* Analysis by Shawn Ligocki */ Added link to existing user page

2025-10-09T19:18:35Z

Analysis by Shawn Ligocki: Added link to existing user page

← Older revision		Revision as of 19:18, 9 October 2025
Line 2:		Line 2:
	{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF\|halt}} is the current [[BB(7)]] [[champion]], running for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.		{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF\|halt}} is the current [[BB(7)]] [[champion]], running for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.

	== Analysis by Shawn Ligocki ==		== Analysis by [[User:Sligocki\|Shawn Ligocki]] ==
	Consider general configurations matching the regex:		Consider general configurations matching the regex:

MrSolis: ('◡')

2025-10-07T23:11:06Z

('◡')

← Older revision		Revision as of 23:11, 7 October 2025
Line 5:		Line 5:
	Consider general configurations matching the regex:		Consider general configurations matching the regex:

	<math display="block">0^\infty \; 11 \; (1 \; (01)^)^ \; 0011100 \; \~~text~~{A}\!\~~! >~~ 0^\infty</math>		<math display="block">0^\infty \; 11 \; (1 \; (01)^)^ \; 0011100 \; \textrm{A}\textrm{>} \; 0^\infty</math>

	=== Low level rules ===		=== Low level rules ===
Line 19:		Line 19:

	<math display="block">		<math display="block">
	B(a; b, c, ..., z) = 0^\infty \; 111 \; (01)^{3z+1} \; 1 \; \cdots \; 1 (01)^{3c+1} \; 1 \; (01)^{3b+1} \; 1 \; (01)^0 \; 1 \; (01)^{3a+1} \; 0011100 \; \~~text~~{A}\!\~~! >~~ 0^\infty		B(a; b, c, ..., z) = 0^\infty \; 111 \; (01)^{3z+1} \; 1 \; \cdots \; 1 (01)^{3c+1} \; 1 \; (01)^{3b+1} \; 1 \; (01)^0 \; 1 \; (01)^{3a+1} \; 0011100 \; \textrm{A}\textrm{>} \; 0^\infty
	</math>		</math>

Line 73:		Line 73:
	Note that <math>g_k(x) = (2 \uparrow^k (x+4)) - 4</math> and so for <math>k \ge 2</math>,		Note that <math>g_k(x) = (2 \uparrow^k (x+4)) - 4</math> and so for <math>k \ge 2</math>,

	<math display="block">		<math display="block">a_{k+1}+4>2\uparrow^k 2 \uparrow^k 3</math>
	a_{k+1} + 4 > 2 \uparrow^k 2 \uparrow^k 3
	</math>

	and so this TM halts with sigma score <math>\sigma > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>.		and so this TM halts with sigma score <math>\sigma > 2 \uparrow^{11} 2 \uparrow^{11} 3</math>.

Hipparcos: try to fix math rendering issues with directed heads and \textrm -> \text

2025-10-07T16:22:24Z

try to fix math rendering issues with directed heads and \textrm -> \text

← Older revision		Revision as of 16:22, 7 October 2025
Line 5:		Line 5:
	Consider general configurations matching the regex:		Consider general configurations matching the regex:

	<math display="block">0^\infty \; 11 \; (1 \; (01)^)^ \; 0011100 \; \~~textrm~~{A>} \; 0^\infty</math>		<math display="block">0^\infty \; 11 \; (1 \; (01)^)^ \; 0011100 \; \text{A}\!\! > 0^\infty</math>

	=== Low level rules ===		=== Low level rules ===
Line 19:		Line 19:

	<math display="block">		<math display="block">
	B(a; b, c, ..., z) = 0^\infty \; 111 \; (01)^{3z+1} \; 1 \; \cdots \; 1 (01)^{3c+1} \; 1 \; (01)^{3b+1} \; 1 \; (01)^0 \; 1 \; (01)^{3a+1} \; 0011100 \; \~~textrm~~{A>} \; 0^\infty		B(a; b, c, ..., z) = 0^\infty \; 111 \; (01)^{3z+1} \; 1 \; \cdots \; 1 (01)^{3c+1} \; 1 \; (01)^{3b+1} \; 1 \; (01)^0 \; 1 \; (01)^{3a+1} \; 0011100 \; \text{A}\!\! > 0^\infty
	</math>		</math>

Line 66:		Line 66:

	<math display="block">		<math display="block">
	\~~textrm~~{Start} \to B(a_0; \underbrace{1, \cdots, 1}_{12})		\text{Start} \to B(a_0; \underbrace{1, \cdots, 1}_{12})
	</math>		</math>

Polygon: Added Category:BB(7)

2025-09-28T10:05:13Z

Added Category:BB(7)

← Older revision		Revision as of 10:05, 28 September 2025
Line 80:		Line 80:

	This bound is pretty tight: <math>\sigma < 2 \uparrow^{11} 2 \uparrow^{11} 4 = 2 \uparrow^{12} 4</math>.		This bound is pretty tight: <math>\sigma < 2 \uparrow^{11} 2 \uparrow^{11} 4 = 2 \uparrow^{12} 4</math>.
			[[Category:BB(7)]]

Polygon: Added "halt" to bbch-link

2025-08-16T18:13:46Z

Added "halt" to bbch-link

← Older revision		Revision as of 18:13, 16 August 2025
Line 1:		Line 1:
	{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}		{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
	{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is the current [[BB(7)]] [[champion]], running for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.		{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF\|halt}} is the current [[BB(7)]] [[champion]], running for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.

	== Analysis by Shawn Ligocki ==		== Analysis by Shawn Ligocki ==

Polygon: Used new redirect to "Champions"

2025-08-11T10:32:04Z

Used new redirect to "Champions"

← Older revision		Revision as of 10:32, 11 August 2025
Line 1:		Line 1:
	{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}		{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
	{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is the current [[BB(7)]] [[~~Champions\|~~champion]], running for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.		{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is the current [[BB(7)]] [[champion]], running for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.

	== Analysis by Shawn Ligocki ==		== Analysis by Shawn Ligocki ==

Polygon: Added link to "champion"

2025-08-11T10:20:49Z

Added link to "champion"

← Older revision		Revision as of 10:20, 11 August 2025
Line 1:		Line 1:
	{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}		{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
	{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is the current [[BB(7)]] champion, running for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.		{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is the current [[BB(7)]] [[Champions\|champion]], running for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.

	== Analysis by Shawn Ligocki ==		== Analysis by Shawn Ligocki ==

Polygon: Changed wording

2025-08-10T20:08:29Z

Changed wording

← Older revision		Revision as of 20:08, 10 August 2025
Line 1:		Line 1:
	{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}		{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
	{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is the current [[BB(7)]] champion~~. It runs~~ for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.		{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is the current [[BB(7)]] champion, running for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.

	== Analysis by Shawn Ligocki ==		== Analysis by Shawn Ligocki ==

Polygon: Mentioned championship

2025-08-10T20:04:38Z

Mentioned championship

← Older revision		Revision as of 20:04, 10 August 2025
Line 1:		Line 1:
	{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}		{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
	{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is ~~a halting~~ [[BB(7)]] ~~TM which~~ runs for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.		{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is the current [[BB(7)]] champion. It runs for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps before it halts. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.

	== Analysis by Shawn Ligocki ==		== Analysis by Shawn Ligocki ==

Axolotldailyweek: Undo revision 2260 by Axolotldailyweek (talk)

2025-07-03T10:07:30Z

Undo revision 2260 by Axolotldailyweek (talk)

← Older revision		Revision as of 10:07, 3 July 2025
Line 1:		Line 1:
	{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}		{{machine\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
	{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is a halting [[BB(7)]] TM which runs for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> ~~(or <math>2 \uparrow^{11} 2 \uparrow^{10} 4</math>)~~ steps. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.		{{TM\|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}} is a halting [[BB(7)]] TM which runs for over <math>2 \uparrow^{11} 2 \uparrow^{11} 3</math> steps. It was discovered by Pavel Kropitz on 10 May 2025 ([https://discord.com/channels/960643023006490684/1369339127652159509/1370678203395604562 Discord link]) and analyzed by Shawn Ligocki (here) on 13 May 2025.

	== Analysis by Shawn Ligocki ==		== Analysis by Shawn Ligocki ==