Comment: This TM produces 1'525'688 nonzeros in 987'522'842'126 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | A2L | A1R | 1 | right | B | 2 | left | A | 1 | right | A |
| B | C1R | B2R | C0R | 1 | right | C | 2 | right | B | 0 | right | C |
| C | A1L | Z1R | A1L | 1 | left | A | 1 | right | Z | 1 | left | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as bck-2-macro machine.
The same TM as bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 2 2 01 (1)C>
2 4 0 01 <A(2) 10
3 10 2 11 (2)B> 10
4 12 4 11 22 (1)C>
5 14 2 11 22 <A(2) 10
6 16 4 11 21 (1)A> 10
7 18 2 11 21 <A(2) 20
8 22 4 112 (1)A> 20
9 24 6 113 (1)B>
10 28 4 113 <A(2) 21
11 34 -2 <A(2) 223 21
12 36 0 01 (0)C> 223 21
13 48 6 01 123 (0)C> 21
14 52 8 01 124 (2)B>
15 60 6 01 124 <A(2) 22
16 62 8 01 123 11 (1)A> 22
17 64 10 01 123 112 (1)A>
18 66 12 01 123 113 (1)C>
19 68 10 01 123 113 <A(2) 10
20 74 4 01 123 <A(2) 223 10
21 76 6 01 122 11 (1)A> 223 10
22 82 12 01 122 114 (1)A> 10
23 84 10 01 122 114 <A(2) 20
24 92 2 01 122 <A(2) 224 20
25 94 4 01 12 11 (1)A> 224 20
26 102 12 01 12 115 (1)A> 20
27 104 14 01 12 116 (1)B>
28 108 12 01 12 116 <A(2) 21
29 120 0 01 12 <A(2) 226 21
30 122 2 01 11 (1)A> 226 21
31 134 14 01 117 (1)A> 21
32 138 12 01 117 <A(2) 22
33 152 -2 01 <A(2) 228
34 158 0 11 (2)B> 228
35 190 16 11 218 (2)B>
36 198 14 11 218 <A(2) 22
37 202 16 11 217 11 (1)A> 22
38 204 18 11 217 112 (1)A>
39 206 20 11 217 113 (1)C>
40 208 18 11 217 113 <A(2) 10
41 214 12 11 217 <A(2) 223 10
42 218 14 11 216 11 (1)A> 223 10
43 224 20 11 216 114 (1)A> 10
44 226 18 11 216 114 <A(2) 20
45 234 10 11 216 <A(2) 224 20
46 238 12 11 215 11 (1)A> 224 20
47 246 20 11 215 115 (1)A> 20
48 248 22 11 215 116 (1)B>
49 252 20 11 215 116 <A(2) 21
50 264 8 11 215 <A(2) 226 21
51 268 10 11 214 11 (1)A> 226 21
52 280 22 11 214 117 (1)A> 21
53 284 20 11 214 117 <A(2) 22
54 298 6 11 214 <A(2) 228
55 302 8 11 213 11 (1)A> 228
56 318 24 11 213 119 (1)A>
57 320 26 11 213 1110 (1)C>
58 322 24 11 213 1110 <A(2) 10
59 342 4 11 213 <A(2) 2210 10
60 346 6 11 212 11 (1)A> 2210 10
61 366 26 11 212 1111 (1)A> 10
62 368 24 11 212 1111 <A(2) 20
63 390 2 11 212 <A(2) 2211 20
64 394 4 11 21 11 (1)A> 2211 20
65 416 26 11 21 1112 (1)A> 20
66 418 28 11 21 1113 (1)B>
67 422 26 11 21 1113 <A(2) 21
68 448 0 11 21 <A(2) 2213 21
69 452 2 112 (1)A> 2213 21
70 478 28 1115 (1)A> 21
71 482 26 1115 <A(2) 22
72 512 -4 <A(2) 2216
73 514 -2 01 (0)C> 2216
74 578 30 01 1216 (0)C>
75 582 32 01 1217 (1)C>
76 584 30 01 1217 <A(2) 10
77 586 32 01 1216 11 (1)A> 10
78 588 30 01 1216 11 <A(2) 20
79 590 28 01 1216 <A(2) 22 20
80 592 30 01 1215 11 (1)A> 22 20
81 594 32 01 1215 112 (1)A> 20
82 596 34 01 1215 113 (1)B>
83 600 32 01 1215 113 <A(2) 21
84 606 26 01 1215 <A(2) 223 21
85 608 28 01 1214 11 (1)A> 223 21
86 614 34 01 1214 114 (1)A> 21
87 618 32 01 1214 114 <A(2) 22
88 626 24 01 1214 <A(2) 225
89 628 26 01 1213 11 (1)A> 225
90 638 36 01 1213 116 (1)A>
91 640 38 01 1213 117 (1)C>
92 642 36 01 1213 117 <A(2) 10
93 656 22 01 1213 <A(2) 227 10
94 658 24 01 1212 11 (1)A> 227 10
95 672 38 01 1212 118 (1)A> 10
96 674 36 01 1212 118 <A(2) 20
97 690 20 01 1212 <A(2) 228 20
98 692 22 01 1211 11 (1)A> 228 20
99 708 38 01 1211 119 (1)A> 20
100 710 40 01 1211 1110 (1)B>
101 714 38 01 1211 1110 <A(2) 21
102 734 18 01 1211 <A(2) 2210 21
103 736 20 01 1210 11 (1)A> 2210 21
104 756 40 01 1210 1111 (1)A> 21
105 760 38 01 1210 1111 <A(2) 22
106 782 16 01 1210 <A(2) 2212
107 784 18 01 129 11 (1)A> 2212
108 808 42 01 129 1113 (1)A>
109 810 44 01 129 1114 (1)C>
110 812 42 01 129 1114 <A(2) 10
111 840 14 01 129 <A(2) 2214 10
112 842 16 01 128 11 (1)A> 2214 10
113 870 44 01 128 1115 (1)A> 10
114 872 42 01 128 1115 <A(2) 20
115 902 12 01 128 <A(2) 2215 20
116 904 14 01 127 11 (1)A> 2215 20
117 934 44 01 127 1116 (1)A> 20
118 936 46 01 127 1117 (1)B>
119 940 44 01 127 1117 <A(2) 21
120 974 10 01 127 <A(2) 2217 21
121 976 12 01 126 11 (1)A> 2217 21
122 1010 46 01 126 1118 (1)A> 21
123 1014 44 01 126 1118 <A(2) 22
124 1050 8 01 126 <A(2) 2219
125 1052 10 01 125 11 (1)A> 2219
126 1090 48 01 125 1120 (1)A>
127 1092 50 01 125 1121 (1)C>
128 1094 48 01 125 1121 <A(2) 10
129 1136 6 01 125 <A(2) 2221 10
130 1138 8 01 124 11 (1)A> 2221 10
131 1180 50 01 124 1122 (1)A> 10
132 1182 48 01 124 1122 <A(2) 20
133 1226 4 01 124 <A(2) 2222 20
134 1228 6 01 123 11 (1)A> 2222 20
135 1272 50 01 123 1123 (1)A> 20
136 1274 52 01 123 1124 (1)B>
137 1278 50 01 123 1124 <A(2) 21
138 1326 2 01 123 <A(2) 2224 21
139 1328 4 01 122 11 (1)A> 2224 21
140 1376 52 01 122 1125 (1)A> 21
141 1380 50 01 122 1125 <A(2) 22
142 1430 0 01 122 <A(2) 2226
143 1432 2 01 12 11 (1)A> 2226
144 1484 54 01 12 1127 (1)A>
145 1486 56 01 12 1128 (1)C>
146 1488 54 01 12 1128 <A(2) 10
147 1544 -2 01 12 <A(2) 2228 10
148 1546 0 01 11 (1)A> 2228 10
149 1602 56 01 1129 (1)A> 10
150 1604 54 01 1129 <A(2) 20
151 1662 -4 01 <A(2) 2229 20
152 1668 -2 11 (2)B> 2229 20
153 1784 56 11 2129 (2)B> 20
154 1788 58 11 2130 (2)B>
155 1796 56 11 2130 <A(2) 22
156 1800 58 11 2129 11 (1)A> 22
157 1802 60 11 2129 112 (1)A>
158 1804 62 11 2129 113 (1)C>
159 1806 60 11 2129 113 <A(2) 10
160 1812 54 11 2129 <A(2) 223 10
161 1816 56 11 2128 11 (1)A> 223 10
162 1822 62 11 2128 114 (1)A> 10
163 1824 60 11 2128 114 <A(2) 20
164 1832 52 11 2128 <A(2) 224 20
165 1836 54 11 2127 11 (1)A> 224 20
166 1844 62 11 2127 115 (1)A> 20
167 1846 64 11 2127 116 (1)B>
168 1850 62 11 2127 116 <A(2) 21
169 1862 50 11 2127 <A(2) 226 21
170 1866 52 11 2126 11 (1)A> 226 21
171 1878 64 11 2126 117 (1)A> 21
172 1882 62 11 2126 117 <A(2) 22
173 1896 48 11 2126 <A(2) 228
174 1900 50 11 2125 11 (1)A> 228
175 1916 66 11 2125 119 (1)A>
176 1918 68 11 2125 1110 (1)C>
177 1920 66 11 2125 1110 <A(2) 10
178 1940 46 11 2125 <A(2) 2210 10
179 1944 48 11 2124 11 (1)A> 2210 10
180 1964 68 11 2124 1111 (1)A> 10
181 1966 66 11 2124 1111 <A(2) 20
182 1988 44 11 2124 <A(2) 2211 20
183 1992 46 11 2123 11 (1)A> 2211 20
184 2014 68 11 2123 1112 (1)A> 20
185 2016 70 11 2123 1113 (1)B>
186 2020 68 11 2123 1113 <A(2) 21
187 2046 42 11 2123 <A(2) 2213 21
188 2050 44 11 2122 11 (1)A> 2213 21
189 2076 70 11 2122 1114 (1)A> 21
190 2080 68 11 2122 1114 <A(2) 22
191 2108 40 11 2122 <A(2) 2215
192 2112 42 11 2121 11 (1)A> 2215
193 2142 72 11 2121 1116 (1)A>
194 2144 74 11 2121 1117 (1)C>
195 2146 72 11 2121 1117 <A(2) 10
196 2180 38 11 2121 <A(2) 2217 10
197 2184 40 11 2120 11 (1)A> 2217 10
198 2218 74 11 2120 1118 (1)A> 10
199 2220 72 11 2120 1118 <A(2) 20
200 2256 36 11 2120 <A(2) 2218 20
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2256
Tape index: 36
nonzeros: 80
log10(nonzeros): 1.903
log10(steps ): 3.353
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol TM #d of G. Lafitte & C. Papazian
5T B1R A2L A1R C1R B2R C0R A1L Z1R A1L
: 1'525'688 987'522'842'126
L 6
M 201
pref sim
machv Laf33_d just simple
machv Laf33_d-r with repetitions reduced
machv Laf33_d-1 with tape symbol exponents
machv Laf33_d-m as bck-2-macro machine
machv Laf33_d-a as bck-2-macro machine with pure additive config-TRs
iam Laf33_d-m
mtype 0 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:49 CEST 2010
edate Tue Jul 6 22:11:50 CEST 2010
bnspeed 1
Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $
$Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $
$Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $
$Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $
bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:11:49 CEST 2010