1RB1RA 1RC0LC 0LD1LG 1LF0LE 1RZ1LF 0LA1LD 1RA1LC: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

16 August 2025

5 August 2025

18 May 2025

17 May 2025

9 May 2025

  • curprev 02:4002:40, 9 May 2025Sligocki talk contribs 1,058 bytes +1,058 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) -..."