1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC: Revision history

27 September 2025

• curprev 04:4504:45, 27 September 2025‎ Int-y1 talk contribs‎ m 1,975 bytes +20‎ add category BB(6)

27 August 2025

• curprev 17:0317:03, 27 August 2025‎ Polygon talk contribs‎ 1,955 bytes −123‎ Removed link to Cosearch

10 August 2025

• curprev 20:3320:33, 10 August 2025‎ Polygon talk contribs‎ 2,078 bytes +4‎ Combined introduction with link to bbch

9 August 2025

• curprev 23:5023:50, 9 August 2025‎ ADucharme talk contribs‎ 2,074 bytes +666‎ added figure, discussion of why this TM is probably not halting Tag: Visual edit
• curprev 22:3822:38, 9 August 2025‎ ADucharme talk contribs‎ 1,408 bytes +81‎ describe halting condition Tag: Visual edit
• curprev 21:2021:20, 9 August 2025‎ ADucharme talk contribs‎ 1,327 bytes +453‎ note re: Q(1,y) not happening and resulting implementation acceleration Tag: Visual edit
• curprev 20:5520:55, 9 August 2025‎ ADucharme talk contribs‎ 874 bytes +150‎ continued simulation to 10^8 steps. Tag: Visual edit

4 August 2025

• curprev 05:2005:20, 4 August 2025‎ ADucharme talk contribs‎ 724 bytes +153‎ computed TM model map out to 10^7 iterations Tag: Visual edit

18 August 2024

• curprev 20:1020:10, 18 August 2024‎ Sligocki talk contribs‎ 571 bytes +10‎ No edit summary Tag: Visual edit
• curprev 20:1020:10, 18 August 2024‎ Sligocki talk contribs‎ 561 bytes +561‎ 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) <..."