1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC

From BusyBeaverWiki
Revision as of 20:10, 18 August 2024 by Sligocki (talk | contribs) (Created page with "{{machine|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} {{TM|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} Potential Cryptid found by @mxdys on 18 Aug 2024: https://discord.com/channels/960643023006490684/1239205785913790465/1274733002454335601 <pre> start: P(2) P(2a) -> P(3a+4) P(2a+1) -> Q(a+2,1) Q(2a+3,b) -> P(b+5a+6) Q(2a+2,b) -> Q(a,b+2a+5) Q(1,2b+1) -> P(3b+8) Q(1,2b) -> Q(b+2,1) Q(0,b) -> halt P(a) := 0^inf 1^a 011 <D 0^inf Q(a,b) := 0^inf 1^(2a+1) <...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC (bbch)

Potential Cryptid found by @mxdys on 18 Aug 2024: https://discord.com/channels/960643023006490684/1239205785913790465/1274733002454335601 

start: P(2)

P(2a)   -> P(3a+4)
P(2a+1) -> Q(a+2,1)

Q(2a+3,b) -> P(b+5a+6)
Q(2a+2,b) -> Q(a,b+2a+5)

Q(1,2b+1) -> P(3b+8)
Q(1,2b)   -> Q(b+2,1)

Q(0,b)    -> halt

P(a) := 0^inf 1^a 011 <D 0^inf
Q(a,b) := 0^inf 1^(2a+1) <D 0 1^b 0^inf

CoSearch: https://cosearch.bbchallenge.org/contribution/tpxh8d8d

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC&oldid=741"