1RB3LA1LA1RA1RA 2LB2RA---4RB1LB: Difference between revisions
Jump to navigation
Jump to search
(Add source link) |
m (Added missing point) |
||
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: |
Revision as of 11:26, 5 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