1RB0RF 1LC1RB 0RD0LB 1RZ0LE 1RE0RA 1RD1RE - Revision history

Polygon: /* Analysis by racheline */ grammar

2026-02-21T10:54:56Z

Analysis by racheline: grammar

← Older revision		Revision as of 10:54, 21 February 2026
Line 5:		Line 5:
	https://discord.com/channels/960643023006490684/1239205785913790465/1336829029948588113		https://discord.com/channels/960643023006490684/1239205785913790465/1336829029948588113

	It halts with roughly 2^(2^96/3)/3 1s on the tape and after roughly 2^(2^97/3) steps. it follows these rules:		It halts with roughly 2^(2^96/3)/3 1s on the tape and after roughly 2^(2^97/3) steps. It follows these rules:
	<pre>		<pre>
	A(n,m) := 111 E> 1^(3n) 0 1^m		A(n,m) := 111 E> 1^(3n) 0 1^m

Int-y1: add category BB(6)

2025-09-27T04:47:33Z

add category BB(6)

← Older revision		Revision as of 04:47, 27 September 2025
Line 27:		Line 27:
	A(n+2m+1,2^(n+2m)+2^((2^(2m)-1)/3)+1)		A(n+2m+1,2^(n+2m)+2^((2^(2m)-1)/3)+1)
	</pre>		</pre>

			[[Category:BB(6)]]

Polygon: Added "halt" to bbch-link

2025-08-16T18:22:55Z

Added "halt" to bbch-link

← Older revision		Revision as of 18:22, 16 August 2025
Line 1:		Line 1:
	{{machine\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}}		{{machine\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}}
	{{TM\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} is a [[BB(6)]] TM that halts with roughly <math>2^{2^{97/3}}</math> steps.		{{TM\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE\|halt}} is a [[BB(6)]] TM that halts with roughly <math>2^{2^{97/3}}</math> steps.

	== Analysis by racheline ==		== Analysis by racheline ==

Polygon: Removed excess line

2025-08-11T09:58:19Z

Removed excess line

← Older revision		Revision as of 09:58, 11 August 2025
Line 1:		Line 1:
	{{machine\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}}		{{machine\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}}

	{{TM\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} is a [[BB(6)]] TM that halts with roughly <math>2^{2^{97/3}}</math> steps.		{{TM\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} is a [[BB(6)]] TM that halts with roughly <math>2^{2^{97/3}}</math> steps.

Polygon: Added BB domain

2025-08-06T10:00:23Z

Added BB domain

← Older revision		Revision as of 10:00, 6 August 2025
Line 1:		Line 1:
	{{machine\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}}		{{machine\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}}

	{{TM\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} halts with roughly <math>2^{2^{97/3}}</math> steps.		{{TM\|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} is a [[BB(6)]] TM that halts with roughly <math>2^{2^{97/3}}</math> steps.

	== Analysis by racheline ==		== Analysis by racheline ==

Sligocki: Created page with "{{machine|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} {{TM|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} halts with roughly

2^{2^{97/3}}

steps. == Analysis by racheline == https://discord.com/channels/960643023006490684/1239205785913790465/1336829029948588113 It halts with roughly 2^(2^96/3)/3 1s on the tape and after roughly 2^(2^97/3) steps. it follows these rules:

 A(n,m) := 111 E> 1^(3n) 0 1^m A(n,6m+1) -> A(n+2m+1,2^(n+2m)+2^((2^(2m)-1)/3)+1) A(n,..."

2025-02-06T03:32:03Z

Created page with "{{machine|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} {{TM|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} halts with roughly <math>2^{2^{97/3}}</math> steps. == Analysis by racheline == https://discord.com/channels/960643023006490684/1239205785913790465/1336829029948588113 It halts with roughly 2^(2^96/3)/3 1s on the tape and after roughly 2^(2^97/3) steps. it follows these rules: <pre> A(n,m) := 111 E> 1^(3n) 0 1^m A(n,6m+1) -> A(n+2m+1,2^(n+2m)+2^((2^(2m)-1)/3)+1) A(n,..."

New page

{{machine|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}}

{{TM|1RB0RF_1LC1RB_0RD0LB_1RZ0LE_1RE0RA_1RD1RE}} halts with roughly <math>2^{2^{97/3}}</math> steps.

== Analysis by racheline ==
https://discord.com/channels/960643023006490684/1239205785913790465/1336829029948588113

It halts with roughly 2^(2^96/3)/3 1s on the tape and after roughly 2^(2^97/3) steps. it follows these rules:
<pre>
A(n,m) := 111 E> 1^(3n) 0 1^m
A(n,6m+1) -> A(n+2m+1,2^(n+2m)+2^((2^(2m)-1)/3)+1)
A(n,3m+2) -> halt with n+m+6 1s
start from A(4,13)

A(4,13) -> A(9,289) -> A(106,2^105+2^((2^96-1)/3)+1)
since both 105 and (2^96-1)/3 are odd, that is A(106,3m+2), which halts as soon as the machine gets to the right side of the tape

here are the details of the A(n,6m+1) case:

A(n,6m+1) =
111 E> 1^(3n) 0 1^(6m+1) --(translated cycles)-->
111 (001)^n 1 (001)^(2m) 0 A> 0 --(counting with 2m bits)-->
111 (001)^n 1 (111)^(2m) 0 A> 0 1^(2^(2m)-1) --(translated cycles)-->
111 (001)^(n-1) 111 (001)^(2m) 0 111 (001)^((2^(2m)-1)/3) 0 A> 0 --(counting with (2^(2m)-1)/3 bits)-->
111 (001)^(n-1) 111 (001)^(2m) 0 (111)^((2^(2m)+2)/3) 0 A> 0 1^(2^((2^(2m)-1)/3)-1) --(translated cycles)-->
111 (001)^(n-1) 111 (001)^(2m-2) 111 001 0 A> 0 1^(2^(2m)+2^((2^(2m)-1)/3)+3) --(counting with n+2m bits)-->
111^(n+2m+1) 0 A> 0 1^(2^(n+2m)+2^((2^(2m)-1)/3)) --(translated cycles)-->
A(n+2m+1,2^(n+2m)+2^((2^(2m)-1)/3)+1)
</pre>