1RB2LA0LA 2LC---2RA 0RA2RC1LC - Revision history

Polygon: Added equivalence to holdout #400

2026-03-30T20:13:59Z

Added equivalence to holdout #400

← Older revision		Revision as of 20:13, 30 March 2026
Line 1:		Line 1:
	{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}		{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}
	{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].		{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]]. It is equivalent to "unofficial holdout ID 400" ({{TM\|1RB1LC---_0LC2RB1LB_2LA0RC1RC}}) on that same list.<ref>https://discord.com/channels/960643023006490684/1084047886494470185/1215532512307052634</ref>

	On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a		On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a
Line 182:		Line 182:
	(12)^(a-2) 2222 2^b 222 C> 202 (202)^(c-1) 000 # = C(a-2,b+7,c-1)		(12)^(a-2) 2222 2^b 222 C> 202 (202)^(c-1) 000 # = C(a-2,b+7,c-1)
	</pre>		</pre>

			== References ==

	[[Category:BB(3,3)]]		[[Category:BB(3,3)]]

Polygon: Shouldn't be a Stub anymore

2026-03-30T19:53:11Z

Shouldn't be a Stub anymore

← Older revision		Revision as of 19:53, 30 March 2026
Line 1:		Line 1:
	{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC~~}}{{Stub~~}}		{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}
	{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].		{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].

Polygon: /* Analysis by LegionMammal978 */ Added D-rules, splitted into two blocks

2026-03-30T19:50:57Z

Analysis by LegionMammal978: Added D-rules, splitted into two blocks

@@ Line 20: / Line 20: @@
 It's hard to determine whether the last two cases can ever occur at all, unless there's some modular invariant I'm not seeing. Also, if they do occur, I believe it's impossible for it to eat another 0^5 before a new 0^(b+1) or 0^(b+3) is added, but I don't have a formal proof of this.
 L1: A> 00 => 2 C> 2
   A> 00

Polygon: /* Analysis by LegionMammal978 */ there's a fixed version (the old one had errors)

2026-03-30T19:47:37Z

Analysis by LegionMammal978: there's a fixed version (the old one had errors)

← Older revision		Revision as of 19:47, 30 March 2026
Line 53:		Line 53:
	0^s 0 <A (20)^t 0000202 (202)^u		0^s 0 <A (20)^t 0000202 (202)^u
	0^s (12)^t A> 00000202 (202)^u [R1×s]		0^s (12)^t A> 00000202 (202)^u [R1×s]


	C(a,b,c) = 0^∞ (12)^a 2^b C> 202 (202)^c 000		C(a,b,c) = 0^∞ (12)^a 2^b C> 202 (202)^c 000
	(0^∞ A> 0^∞) -> C(1,5,1) 0^∞		(0^∞ A> 0^∞) -> C(1,5,1) 0^∞

	C(0,b,c) -> C(b+2,1,c-1) [c ≥ 1]		C(0,b,c) -> C(b+2,1,c-1) [c ≥ 1]
	C(1,b,c) -> C(b+5,1,c-1) [c ≥ 1]		C(1,b,c) -> C(b+5,1,c-1) [c ≥ 1]
	C(2,b,0) -> C(1,5,2) 0^(b+1) 202		C(2,b,0) -> C(1,5,2) 0^(b-2) 202 [b ≥ 2]
	C(a,b,0) -> C(1,5,a-3) 0^(b~~+3)~~ 202 [a ≥ 3]		C(a,b,0) -> C(1,5,a-3) 0^b 202 [a ≥ 3]
	C(a,b,c) -> C(a-2,b+7,c-1) [a ≥ 2, c ≥ 1]		C(a,b,c) -> C(a-2,b+7,c-1) [a ≥ 2, c ≥ 1]
	C(0,b,0) 00000 -> C(1,5,b+1)		C(0,b,0) 00000 -> C(1,5,b+1)
	C(1,b,0) 00000 -> C(1,5,b+4)		C(1,b,0) 00000 -> C(1,5,b+4)

			D(a,c) = C(a,1,c)
			D(2k+0,c) -> D(7k+3,c-k-1) [c ≥ k+1]
			D(2k+1,c) -> D(7k+6,c-k-1) [c ≥ k+1]
			D(2k+0,k) 0^5 -> D(10,7k+1)
			D(2k+1,k) 0^5 -> D(10,7k+4)
			D(2k+0,k-1) -> D(10,1) 0^(7k-8) 202 [k ≥ 2]
			D(2k+1,k-1) -> D(10,8) 0^(7k-11) 202 [k ≥ 2]
			D(2k+0,c) -> D(10,2k-2c-4) 0^(7c+1) 202 [c ≤ k-2]
			D(2k+1,c) -> D(10,2k-2c-3) 0^(7c+1) 202 [c ≤ k-2]


	C(a,b,c) = 0^∞ (12)^a 2^b C> 202 (202)^c 000 #		C(a,b,c) = 0^∞ (12)^a 2^b C> 202 (202)^c 000 #
Line 150:		Line 162:
	121 <C 1110202202 0^b 0202 #		121 <C 1110202202 0^b 0202 #
	122222 C> 0202202 0^b 0202 #		122222 C> 0202202 0^b 0202 #
	1222222 C> 202202 0^b 0202 # [L2] = C(1,5,2) 0^(b+1) 202		1222222 C> 202202 0^b 0202 # [L2] = C(1,5,2) 0^(b-2) 202
	a ≥ 3:		a ≥ 3:
	122222 C> 0202 (202)^(a-3) 0^b 000202 #		122222 C> 0202 (202)^(a-3) 0^b 000202 #
	1222222 C> 202 (202)^(a-3) 0^b 000202 # [L2] = C(1,5,a-3) 0^(b~~+3)~~ 202		1222222 C> 202 (202)^(a-3) 0^b 000202 # [L2] = C(1,5,a-3) 0^b 202
	c ≥ 1:		c ≥ 1:
	(12)^(a-2) 2222 2^b 222 C> 202 (202)^(c-1) 000 # = C(a-2,b+7,c-1)		(12)^(a-2) 2222 2^b 222 C> 202 (202)^(c-1) 000 # = C(a-2,b+7,c-1)
	</pre>		</pre>
	[[Category:BB(3,3)]]		[[Category:BB(3,3)]]

Polygon: Added Analysis by LegionMammal978

2026-03-30T19:27:42Z

Added Analysis by LegionMammal978

Show changes

Polygon: Added Category:BB(3,3)

2025-09-27T16:18:46Z

Added Category:BB(3,3)

← Older revision		Revision as of 16:18, 27 September 2025
Line 3:		Line 3:

	On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a		On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a
			[[Category:BB(3,3)]]

Polygon: Removed undecided from bbch-link

2025-09-23T13:24:50Z

Removed undecided from bbch-link

← Older revision		Revision as of 13:24, 23 September 2025
Line 1:		Line 1:
	{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}{{Stub}}		{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}{{Stub}}
	{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC~~\|undecided~~}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].		{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].

	On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a		On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a

Polygon: Removed space between templates

2025-08-11T10:07:59Z

Removed space between templates

← Older revision		Revision as of 10:07, 11 August 2025
Line 1:		Line 1:
	{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} {{Stub}}		{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}{{Stub}}
	{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC\|undecided}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].		{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC\|undecided}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].

	On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a		On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a

Polygon: Used Template:Stub

2025-08-10T22:21:37Z

Used Template:Stub

← Older revision		Revision as of 22:21, 10 August 2025
Line 1:		Line 1:
	{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}		{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} {{Stub}}
	{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC\|undecided}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].		{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC\|undecided}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].

	On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a		On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a
	~~[[Category:Stub]]~~

Polygon: Added introductory sentence

2025-08-10T21:08:55Z

Added introductory sentence

← Older revision		Revision as of 21:08, 10 August 2025
Line 1:		Line 1:
	{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}		{{machine\|1RB2LA0LA_2LC---2RA_0RA2RC1LC}}
	{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC\|undecided}}		{{TM\|1RB2LA0LA_2LC---2RA_0RA2RC1LC\|undecided}} is a non-halting [[BB(3,3)]] TM. It is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].

	~~This machine~~ is listed as "unofficial holdout ID 494" in Justin Blanchard's 3x3 "mugshots" holdout list, which can be found at [[File:Mugshots small.pdf]].

	On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a		On July 22, 2024, busycoq received a proof that this TM doesn't halt: https://github.com/meithecatte/busycoq/commit/ce2f22e1616632924622016d9cbb8ba0847b2c6a
	[[Category:Stub]]		[[Category:Stub]]