User:MrSolis/Playground: Difference between revisions

Latest revision as of 15:36, 4 December 2025

@@ Line 1: / Line 1: @@
-=5-state busy beaver winner (Remake)=
+{{Infobox
-The 5-state busy beaver ([[BB(5)]]) winner is {{TM|1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA|halt}}. Discovered by Heiner Marxen and Jürgen Buntrock in 1989<ref>H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. https://turbotm.de/~heiner/BB/mabu90.html</ref>, this machine proved that <math>\operatorname{BB}(5)\ge 47176870\phantom{}</math> and <math>\Sigma(5)\ge 4098</math> at the time.
+ | title   = Example: header with & without data
-== Analysis ==
+ | headerstyle = background: lightgrey; color:inherit;
-Let <math>g(x):=0^\infty\;\textrm{<A}\,1^x\;0^\infty</math>. Then,
-<math display="block">\begin{array}{lll}
+ | header1 = Header1 with empty section
-g(3x)&\phantom{}\xrightarrow{5x^2+19x+15}&g(5x+6),\\
+ |  label2 = label2 text |  data2 =
-g(3x+1)&\phantom{}\xrightarrow{5x^2+25x+27}&g(5x+9),\\
+ |  label3 = label3 text |  data3 =
-g(3x+2)\phantom{}&\xrightarrow{6x+12}&0^\infty\;1\;\textrm{Z>}\;01\;001^{x+1}\;1\;0^\infty
+ |  label4 = label4 text |  data4 =
-\end{array}</math>
+ | header5 = Header5 with data below
+ |  label6 = label6 text |   data6 = Some value
+}}