All public logs

Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 02:40, 9 May 2025 Sligocki talk contribs created page 1RB1RA 1RC0LC 0LD1LG 1LF0LE 1RZ1LF 0LA1LD 1RA1LC (Created page with "{{machine|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}} {{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}} is a halting tetrational BB(7) TM that runs for over 10↑↑35 steps found by Shawn Ligocki on 8 May 2025 based on @mxdys's enumeration system https://github.com/ccz181078/TM Analysis by Shawn Ligocki: <pre> 1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC B(a,b,c,d) = 0^inf 1^a B> 1^b 01^c 011^d 0^inf D(a) = B(a,0,0,0) = 0^inf 1^a B> 0^inf D(3k) -...")