1RB3LA1LA1RA1RA_2LB2RA---4RB1LB

From BusyBeaverWiki
Revision as of 21:38, 25 March 2025 by Sligocki (talk | contribs) (Created page with "{{machine|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} {{TM|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} is a BB(2,5) TM that appears to be a Cryptid Analysis by mxdys and Racheline: <pre> 1RB3LA1LA1RA1RA_2LB2RA---4RB1LB start: A(4,4) A(a,3+a+b) --> A(4+2a,b) A(a,2+a) --> B(2a+2,3) A(a,1+a) --> halt A(b+a,b) --> B(a,2b) B(3a+1,b) --> A(4,2+5a+b) B(3a+2,b) --> B(5+5a+b,2) B(3a+0,b) --> B(3+5a+b,0) A(a,b) := 0^inf 1 4^a 1^4 A> 1^b 2 0^inf B(a,b) := 0^inf 1 4^a 1^3+b A> 11 0^inf </pre>")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

1RB3LA1LA1RA1RA_2LB2RA---4RB1LB (bbch) is a BB(2,5) TM that appears to be a Cryptid

Analysis by mxdys and Racheline: 

1RB3LA1LA1RA1RA_2LB2RA---4RB1LB
start: A(4,4)
A(a,3+a+b) --> A(4+2a,b)
A(a,2+a) --> B(2a+2,3)
A(a,1+a) --> halt
A(b+a,b) --> B(a,2b)

B(3a+1,b) --> A(4,2+5a+b)
B(3a+2,b) --> B(5+5a+b,2)
B(3a+0,b) --> B(3+5a+b,0)

A(a,b) := 0^inf 1 4^a 1^4 A> 1^b 2 0^inf
B(a,b) := 0^inf 1 4^a 1^3+b A> 11 0^inf
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=1RB3LA1LA1RA1RA_2LB2RA---4RB1LB&oldid=1723"