User:Polygon: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
← Older edit
VisualWikitext
Polygon (talk | contribs)
1,839 edits
Completed list
Polygon (talk | contribs)
1,839 edits
Added mxdys TM visualiser
 
(12 intermediate revisions by the same user not shown)
Line 1: Line 1:
List of user pages
List of user pages:
* [[User:Polygon/Collection of BB Champions]]
* [[User:Polygon/Collection of BB Champions]]
* [[User:Polygon/Better lower bound for BB(4,3)]]
* [[User:Polygon/Better lower bound for BB(4,3)]]
Line 5: Line 5:
* [[User:Polygon/Page for testing]]
* [[User:Polygon/Page for testing]]


Table of 20 longest running TMs across explored domains:
A list of interesting user pages:
* [[User:RobinCodes/Valuable user pages]]
 
Other sites:
* https://www.sligocki.com/
* https://groups.google.com/g/busy-beaver-discuss
* https://discuss.bbchallenge.org/
* https://bbchallenge.org/~pascal.michel/index.html
* https://nickdrozd.github.io/
* https://scottaaronson.blog/
* https://katelyndoucette.com/
* https://www.cse.unr.edu/~al/BusyBeaver.html
* https://cruzgodar.com/applets/lambda-calculus/?expression-textarea=%28%CE%BBa.aa%29%28%CE%BBa.a%28%CE%BBb.a%28%CE%BBc.ab%29%29a%29&animation-time-slider=1.095790162866908 (lambda calculus simulator)
* https://ccz181078.github.io/TM/LongAcc/index.html (Turing Machine Visualizer using longitudinal acceleration by mxdys)
 
Table of 30 longest running TMs across explored domains:
{| class="wikitable"
{| class="wikitable"
!Standard format
!Standard format
Line 14: Line 29:
|{{TM|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC|halt}}
|{{TM|1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC|halt}}
|<math>(2 \uparrow^{15} 5) + 14</math>
|<math>(2 \uparrow^{15} 5) + 14</math>
|Pavel Kropitz
|[[BB(3,4)]]
|-
|{{TM|1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB|halt}}
|<math>(2 \uparrow^{12} 4) + 11</math>
|Pavel Kropitz
|Pavel Kropitz
|[[BB(3,4)]]
|[[BB(3,4)]]
Line 21: Line 41:
|Pavel Kropitz
|Pavel Kropitz
|[[BB(7)]]
|[[BB(7)]]
|-
|{{TM|1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB|halt}}
|<math>2 \uparrow^{12} 4</math>
|Pavel Kropitz
|[[BB(3,4)]]
|-
|-
|{{TM|1RB3RB1LC2LA_2LA2RB1LB3RA_3LA1RZ1LC2RA|halt}}
|{{TM|1RB3RB1LC2LA_2LA2RB1LB3RA_3LA1RZ1LC2RA|halt}}
Line 76: Line 91:
|Pavel Kropitz
|Pavel Kropitz
|[[BB(3,4)]]
|[[BB(3,4)]]
|-
|{{TM|1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD|halt}}
|<math>10 \uparrow\uparrow  1023.47221</math>
|Andrew Ducharme
|[[BB(4,3)]]
|-
|{{TM|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ|halt}}
|<math>10 \uparrow\uparrow 619.07737</math>
|Andrew Ducharme
|[[BB(4,3)]]
|-
|-
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE|halt}}
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE|halt}}
Line 81: Line 106:
|Andrew Ducharme
|Andrew Ducharme
|[[BB(7)]]
|[[BB(7)]]
|-
|{{TM|1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA|halt}}
|<math>10 \uparrow\uparrow 512.10945</math>
|Andrew Ducharme
|[[BB(4,3)]]
|-
|{{TM|1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA|halt}}
|<math>10 \uparrow\uparrow 439.02781</math>
|Andrew Ducharme
|[[BB(4,3)]]
|-
|-
|{{TM|1RB1LB_1LC1RF_1LA0LD_1RE0LG_0RC1RZ_0RB0RD_0RF1LG|halt}}
|{{TM|1RB1LB_1LC1RF_1LA0LD_1RE0LG_0RC1RZ_0RB0RD_0RF1LG|halt}}
Line 101: Line 136:
|lijil, Andrew Ducharme
|lijil, Andrew Ducharme
|[[BB(7)]]
|[[BB(7)]]
|-
|{{TM|1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ|halt}}
|<math>10 \uparrow\uparrow 234.06408</math>
|Andrew Ducharme
|[[BB(4,3)]]
|-
|-
|{{TM|1RB0RB_1LC1RG_1RD1RC_1RE0RA_1LF0LB_1RF0LE_0RD1RZ|halt}}
|{{TM|1RB0RB_1LC1RG_1RD1RC_1RE0RA_1LF0LB_1RF0LE_0RD1RZ|halt}}
Line 111: Line 151:
|Terry Ligocki
|Terry Ligocki
|[[BB(7)]]
|[[BB(7)]]
|-
|{{TM|1RB0LC1RC_1LA2RB1LB_1RC2LA0RD_2LB1RZ2LC|halt}}
|<math>10 \uparrow\uparrow 190.21359</math>
|Terry Ligocki
|[[BB(4,3)]]
|-
|{{TM|1RB1RZ1LA2RB_2RC3RC3LB2RA_2LB3RB3LC1LA|halt}}
|<math>10 \uparrow\uparrow {189.05690}</math>
|[[User:XnoobSpeakable|XnoobSpeakable]]
|[[BB(3,4)]]
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA|halt}}
|<math>10 \uparrow\uparrow 188.28</math>
|Terry Ligocki
|[[BB(7)]]
|-
|{{TM|1RB3LA1RA2LB_2LC1RA2RC3RB_1RZ1LA2RA3RA|halt}}
|<math>10 \uparrow\uparrow {188.16168}</math>
|XnoobSpeakable
|[[BB(3,4)]]
|-
|{{TM|1RB2LC1RA_2RC1LB2RD_1LD2LA0LB_0LA1RZ0LC|halt}}
|<math>10 \uparrow\uparrow 178.48320</math>
|Andrew Ducharme
|[[BB(4,3)]]
|}
|}

Latest revision as of 18:28, 26 April 2026

List of user pages:

A list of interesting user pages:

Other sites:

Table of 30 longest running TMs across explored domains:

Standard format Approximate sigma scores Discovered by Domain
1RB3LB1RZ2RA_2LC3RB1LC2RA_3RB1LB3LC2RC (bbch) (2↑155)+14 Pavel Kropitz BB(3,4)
1RB1RZ1LA2RB_1RC3RC1LA2LB_2LB2RC1LC3RB (bbch) (2↑124)+11 Pavel Kropitz BB(3,4)
1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF (bbch) 2↑112↑113 Pavel Kropitz BB(7)
1RB3RB1LC2LA_2LA2RB1LB3RA_3LA1RZ1LC2RA (bbch) 2↑65 Pavel Kropitz BB(3,4)
1RB3RB1LC2LA_2LA2RB1LB3RA_1RA1RZ1LC2RA (bbch) 2↑64 Pavel Kropitz BB(3,4)
1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_0RB2RA2RD (bbch) 10↑44 Pavel Kropitz BB(4,3)
0RB1RZ0RB_1RC1LB2LB_1LB2RD1LC_1RA2RC0LD (bbch) 2↑↑↑(2232+1) Pavel Kropitz BB(4,3)
1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD (bbch) 3↑↑↑88574 Pavel Kropitz BB(4,3)
1RB1RA_1RC1RZ_1LD0RF_1RA0LE_0LD1RC_1RA0RE (bbch) 10↑↑10↑↑10↑↑8.10237 mxdys BB(6)
1RB3RB5RA1LB5LA2LB_2LA2RA4RB1RZ3LB2LA (bbch) 10↑↑10↑↑1010115 Pavel Kropitz BB(2,6)
1RB1LC_1LA1RE_0RD0LA_1RZ1LB_1LD0RF_0RD1RB (bbch) 10↑↑11010000 mxdys BB(6)
1RB2LA1RZ1RB5RB0RB_2LA4RA3LB5LB5RA4LB (bbch) 10↑↑19892.08 Peacemaker II BB(2,6)
1RB0LB1RZ3LA_0LC3RB3RC1LB_2RB2LA3RA1LC (bbch) 10↑↑2048 Pavel Kropitz BB(3,4)
1RB1LD2LA_0RC1RZ0RA_1LD2LA0LC_2RD2RC0LD (bbch) 10↑↑1023.47221 Andrew Ducharme BB(4,3)
1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ (bbch) 10↑↑619.07737 Andrew Ducharme BB(4,3)
1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE (bbch) 10↑↑519.20 Andrew Ducharme BB(7)
1RB1RZ2RD_1LC0RD0RC_2LC1LA0RB_2RC0RC2RA (bbch) 10↑↑512.10945 Andrew Ducharme BB(4,3)
1RB1RZ0RC_1RC1RA0LD_2RD2RB0RD_1LB2LD2RA (bbch) 10↑↑439.02781 Andrew Ducharme BB(4,3)
1RB1LB_1LC1RF_1LA0LD_1RE0LG_0RC1RZ_0RB0RD_0RF1LG (bbch) 10↑↑403.84 Andrew Ducharme BB(7)
1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ (bbch) 10↑↑286.17 Terry Ligocki BB(7)
1RB0LE_1RC0RA_1RD0RC_1LE1LD_1LA0LF_0LA0LG_1RZ0RD (bbch) 10↑↑246.32 lijil BB(7)
1RB1RZ_1RC0LE_0RD1RB_1LE1RA_1LF0LG_0LG0RG_1LB1RG (bbch) 10↑↑243.88 lijil, Andrew Ducharme BB(7)
1RB0LC1RD_1RC1LD0RA_2LA0RC1RB_0LB2LB1RZ (bbch) 10↑↑234.06408 Andrew Ducharme BB(4,3)
1RB0RB_1LC1RG_1RD1RC_1RE0RA_1LF0LB_1RF0LE_0RD1RZ (bbch) 10↑↑228.78 Terry Ligocki BB(7)
1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG (bbch) 10↑↑192.67 Terry Ligocki BB(7)
1RB0LC1RC_1LA2RB1LB_1RC2LA0RD_2LB1RZ2LC (bbch) 10↑↑190.21359 Terry Ligocki BB(4,3)
1RB1RZ1LA2RB_2RC3RC3LB2RA_2LB3RB3LC1LA (bbch) 10↑↑189.05690 XnoobSpeakable BB(3,4)
1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA (bbch) 10↑↑188.28 Terry Ligocki BB(7)
1RB3LA1RA2LB_2LC1RA2RC3RB_1RZ1LA2RA3RA (bbch) 10↑↑188.16168 XnoobSpeakable BB(3,4)
1RB2LC1RA_2RC1LB2RD_1LD2LA0LB_0LA1RZ0LC (bbch) 10↑↑178.48320 Andrew Ducharme BB(4,3)
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=User:Polygon&oldid=7316"