User:Polygon/Page for testing: Difference between revisions

Latest revision as of 16:46, 21 February 2026

List of incomplete pages:

@@ Line 1: / Line 1: @@
-{{TM|1RB2LB0LB_2LC2LA0LA_2RD1LC1RZ_1RA2LD1RD|halt}} is a pentational halting [[BB(4,3)]] TM. It was discovered in May 2024 by Pavel Kropitz as one of seven long running TMs and achieves a score of over <math>3 \uparrow\uparrow\uparrow 88574</math>. Polygon analysed the TM by hand in October 2025, providing its score.
+List of incomplete pages:
+* [[Coq-BB5]]
-Pavel listed the halting tape as:
+* [[Finite Automata Reduction]]
-<pre>
+* [[CTL]]
-Z> 1^(162*3^((3*<(243*3^(6) - 5)/2; (<(54*3^((3b + 11)/2) - 2); (54*3^((3b + 14)/2) - 6); (54*3^(7) - 6)> + 1); (<(54*3^((3*<(54*3^(7) - 3); (54*3^((3b + 14)/2) - 6); (54*3^((81*3^(7) - 2)) - 6)> + 14)/2) - 2); (54*3^((3b + 14)/2) - 6); (54*3^(7) - 6)> + 1)> + 11)/2)) 2
+* [[Irregular Turing Machine]]
-</pre>
+* [[Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)]]