User:Polygon/Page for testing: Difference between revisions

Latest revision as of 10:33, 28 February 2026

List of incomplete pages:

@@ Line 1: / Line 1: @@
-Placeholder
+List of incomplete pages:
-{{TM|1RB1RD1LC_2LB1RB1LC_1RZ1LA1LD_2RB2RA2RD|halt}}
+* [[Coq-BB5]]
-<pre>
+* [[Finite Automata Reduction]]
-S is any tape configuration
+* [[CTL]]
-. S D> 2^a S --> S 2^a D> S
+* [[Irregular Turing Machine]]
-. S B> 1^a S --> S 1^a B> S
+* [[Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR)]]
-. S 1 B> 0 S --> S <A 1^2 S
+* [[Skelet 1]]
-. S D> (11)^a S --> S (21)^a D> S
-   S A> (11)^a S --> S (12)^a A> S
-. S (21)^a <C S --> S <C (11)^a S
-   S (12)^a <A S --> S <A (11)^a S
-. S (12)^a A> 0^2 S --> S <A (11)^a+1 S
-. S (12)^a 2 (12)^b A> 0^2 S --> S (12)^a-1 2 (12)^b+2 A> S
-. S (12)^a 2 (12)^b A> 0^inf --> S 2 (12)^b+2a A> 0^inf
-. S (12)^a <D (11)^b 0^inf --> S (12)^a-1 <D (11)^2b+3 0^inf
-. S (12)^a <D (11)^b 0^inf --> S <D (11)^((2^(a))*b+(2^(a))*3-3) 0^inf
-. S (11)^a <D (11)^b 0^inf --> S (11)^a-2 (12)^b+3 <D (11)^3 0^inf
-</pre>