1RB1LB2LC 1LA2RB1RB ---0LA2LA - Revision history

Polygon: Added simulation

2026-04-19T16:45:23Z

Added simulation

← Older revision		Revision as of 16:45, 19 April 2026
Line 1:		Line 1:
	{{machine\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}}{{Unsolved\|Does this TM halt or run forever?}}		{{machine\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}}{{Unsolved\|Does this TM halt or run forever?}}
	{{TM\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote\|holdout #531, Wily Coyote.]]		{{TM\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote\|holdout #531, Wily Coyote.]] It has been simulated for <math>10^{15.314}</math> steps without halting.<ref>https://discord.com/channels/960643023006490684/1259770474897080380/1453009680900034590</ref>

	== Analysis by Legion ==		== Analysis by Legion ==
Line 60:		Line 60:

	</syntaxhighlight>		</syntaxhighlight>

			== References ==

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

Polygon: Undo revision 7086 by Polygon (talk) this is not Wily Coyote...

2026-04-09T19:37:30Z

Undo revision 7086 by Polygon (talk) this is not Wily Coyote...

← Older revision		Revision as of 19:37, 9 April 2026
Line 1:		Line 1:
	{{machine\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}}{{Unsolved\|Does ~~Wily Coyote~~ halt or run forever?}}		{{machine\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}}{{Unsolved\|Does this TM halt or run forever?}}
	{{TM\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote\|holdout #531, Wily Coyote.]]		{{TM\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote\|holdout #531, Wily Coyote.]]

Polygon: Used the name for Template:Unsolved

2026-04-09T19:37:03Z

Used the name for Template:Unsolved

← Older revision		Revision as of 19:37, 9 April 2026
Line 1:		Line 1:
	{{machine\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}}{{Unsolved\|Does ~~this TM~~ halt or run forever?}}		{{machine\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}}{{Unsolved\|Does Wily Coyote halt or run forever?}}
	{{TM\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote\|holdout #531, Wily Coyote.]]		{{TM\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote\|holdout #531, Wily Coyote.]]

Polygon: Added Template:Unsolved problem

2026-02-28T11:46:20Z

Added Template:Unsolved problem

← Older revision		Revision as of 11:46, 28 February 2026
Line 1:		Line 1:
	{{machine\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}}		{{machine\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}}{{Unsolved\|Does this TM halt or run forever?}}
	{{TM\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote\|holdout #531, Wily Coyote.]]		{{TM\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote\|holdout #531, Wily Coyote.]]

RobinCodes: /* Analysis by Legion */ Changed code block so that it doesn't look so cursed

2025-12-23T11:57:16Z

Analysis by Legion: Changed code block so that it doesn't look so cursed

← Older revision		Revision as of 11:57, 23 December 2025
Line 3:		Line 3:

	== Analysis by Legion ==		== Analysis by Legion ==
	@Legion posted an analysis on [https://discord.com/channels/960643023006490684/1259770474897080380/1329706808327016531 Discord on the 17th of January, 2025,] where he transformed Wily Coyote's analysis.<syntaxhighlight lang="~~apt_sources~~">		@Legion posted an analysis on [https://discord.com/channels/960643023006490684/1259770474897080380/1329706808327016531 Discord on the 17th of January, 2025,] where he transformed Wily Coyote's analysis.<syntaxhighlight lang="text">
	https://bbchallenge.org/1RB1LB2LC_1LA2RB1RB_---0LA2LA		https://bbchallenge.org/1RB1LB2LC_1LA2RB1RB_---0LA2LA
	https://bbchallenge.org/1LB1RB2RC_1RA2LB1LB_---0RA2RA		https://bbchallenge.org/1LB1RB2RC_1RA2LB1LB_---0RA2RA

Polygon: Added categories

2025-10-26T11:09:47Z

Added categories

← Older revision		Revision as of 11:09, 26 October 2025
Line 1:		Line 1:
			{{machine\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}}
	{{TM\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote\|holdout #531, Wily Coyote.]]		{{TM\|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote\|holdout #531, Wily Coyote.]]

Line 59:		Line 60:

	</syntaxhighlight>		</syntaxhighlight>
			[[Category:BB(3,3)]]

RobinCodes: Created page for the last BB(3,3) holdout that does not have one yet

2025-10-26T10:42:23Z

Created page for the last BB(3,3) holdout that does not have one yet

New page

{{TM|1RB1LB2LC_1LA2RB1RB_---0LA2LA}} is [[BB(3,3)]] holdout #397. It is similar to [[Wily Coyote|holdout #531, Wily Coyote.]]

== Analysis by Legion ==
@Legion posted an analysis on [https://discord.com/channels/960643023006490684/1259770474897080380/1329706808327016531 Discord on the 17th of January, 2025,] where he transformed Wily Coyote's analysis.<syntaxhighlight lang="apt_sources">
https://bbchallenge.org/1RB1LB2LC_1LA2RB1RB_---0LA2LA
https://bbchallenge.org/1LB1RB2RC_1RA2LB1LB_---0RA2RA
BB 0 => 2 AB: B0>1A,1B>B2

AB 1 => 2 BB: A1>1B,1B>B2
AB 2 => 1 CB: A2>2C,2B>B1
ABAB 1 => 1 BBCB: A1>1B,1B>B2,A2>2C,2B>B1
ABAB 2 => 2 CBBB: A2>2C,2B>B1,A1>1B,1B>B2
BB 1 => 2: B1>B2
BB 2 => 1: B2>B1
BBCB 1 => 1 AB: B1>B2,C2>2A,2B>B1
BBCB 2 => 2 ABAB: B2>B1,C1>0A,0B>1A,1B>B2
CB 1 => 2 ABAB: C1>0A,0B>1A,1B>B2
CB 2 => 1 AB: C2>2A,2B>B1
CBBB 1 => 1 ABAB: C1>0A,0B>1A,1B>B2,B2>B1
CBBB 2 => 2 AB: C2>2A,2B>B1,B1>B2

AB $ => 1$: A$>B1$
ABAB $ => 221$: A$>B1$,A1$>B221$
BB $ => 21$: B$>B21$
BBCB $ => 1221$: B$>B21$,C21$>1221$
CB $ => halt: C$>HH
CBBB $ => halt: C$>HH

a:AB
b:BB
c:CB
d:ABAB
e:CBBB
f:BBCB

a 0 => 1
a 1 => 2 b
a 2 => 1 c
b 0 => 2 a
b 1 => 2
b 2 => 1
c 0 => halt
c 1 => 2 d
c 2 => 1 a
d 0 => 2 b
d 1 => 1 f
d 2 => 2 e
e 0 => halt
e 1 => 1 d
e 2 => 2 a
f 0 => 1 d
f 1 => 1 a
f 2 => 2 d

cell 0: a(acde)
(Note that I've flipped the machine L ↔ R in this analysis, so that it cascades rightward)
Clearly, the only way for it to halt is from <C on the left side of the tape, but while that probviously can't occur (as I recall), it's not something that's trivial to prove, since the counter part is so chaotic.
Like the Wily Coyote machine, it seems to form chunks that grow in size

</syntaxhighlight>