1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC: Difference between revisions
Jump to navigation
Jump to search
(computed TM model map out to 10^7 iterations) |
(continued simulation to 10^8 steps.) |
||
| Line 1: | Line 1: | ||
{{TM|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} | {{TM|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} | ||
Potential [[BB(6)]] [[Cryptid]] found by @mxdys on [https://discord.com/channels/960643023006490684/1239205785913790465/1274733002454335601 18 Aug 2024]. Andrew Ducharme | Potential [[BB(6)]] [[Cryptid]] found by @mxdys on [https://discord.com/channels/960643023006490684/1239205785913790465/1274733002454335601 18 Aug 2024]. Andrew Ducharme forward simulated the map <math display="inline">R(\textbf{x}) = (P(x), Q(\textbf{x}))</math>{{machine|1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC}} for 10^8 iterations. The TM did not yet halt. After 10^7 iterations, the TM reached a value (x',1) where x' ~ 10^604100, and after 10^8 iterations, it reached a value x ~ 10^(6.04305 x 10^6). | ||
<pre> | <pre> | ||
Revision as of 20:55, 9 August 2025
1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC (bbch)
Potential BB(6) Cryptid found by @mxdys on 18 Aug 2024. Andrew Ducharme forward simulated the map for 10^8 iterations. The TM did not yet halt. After 10^7 iterations, the TM reached a value (x',1) where x' ~ 10^604100, and after 10^8 iterations, it reached a value x ~ 10^(6.04305 x 10^6).
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