View source for 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF

{{machine|1RB1LF_1LB1LC_1RD0LE_---0RB_0RC0LA_1RC0RF}}
{{TM|1RB1LF_1LB1LC_1RD0LE_---0RB_0RC0LA_1RC0RF}} is a non-halting chaotic-looking [[BB(6)]] TM. It's suspected to be a [[translated cycler]] with high period and very hard to accelerate, because many other similar looking TMs become translated cyclers in 2e10 steps.

The machine is confirmed not to become a translated cycler up to 2e12 steps.

== Analysis by mxdys ==

On Aug 27 2025, mxdys gave a Rocq proof that this TM does not halt: https://github.com/ccz181078/busycoq/blob/256b1916a325cef4d9f904bc61398e1d97b02c9e/verify/CTLv2.v#L1437-L1438

[[Category:BB(6)]]