1RB3LA1LA1RA1RA 2LB2RA---4RB1LB: Difference between revisions
Jump to navigation
Jump to search
(Add source link) |
(Added link to "Cryptid") |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{machine|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} | {{machine|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} | ||
{{TM|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} is a [[BB(2,5)]] TM analzyed by mxdys [https://discord.com/channels/960643023006490684/1349040227548663858/1349327014955319339 on 12 Mar 2025] that appears to be a Cryptid | {{TM|1RB3LA1LA1RA1RA_2LB2RA---4RB1LB}} is a [[BB(2,5)]] TM analzyed by mxdys [https://discord.com/channels/960643023006490684/1349040227548663858/1349327014955319339 on 12 Mar 2025] that appears to be a [[Cryptid]]. | ||
Analysis by mxdys and Racheline: | Analysis by mxdys and Racheline: | ||
Latest revision as of 11:01, 6 August 2025
1RB3LA1LA1RA1RA_2LB2RA---4RB1LB (bbch) is a BB(2,5) TM analzyed by mxdys on 12 Mar 2025 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