Comment: This TM produces 43'925 nonzeros in 1'808'669'046 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 | C1L | A1L | C2R | 1 | left | C | 1 | left | A | 2 | right | C |
| C | Z1R | A1L | B2R | 1 | right | Z | 1 | left | A | 2 | right | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 3 -1 <A 11
2 4 0 01 B> 11
3 5 -1 01 <A 11
4 8 0 12 C> 11
5 9 -1 12 <A 11
6 10 0 11 A> 11
7 11 -1 11 <A 21
8 13 -3 <A 22 21
9 14 -2 01 B> 22 21
10 16 0 01 22 B> 21
11 21 -1 01 22 <A 22
12 22 0 01 21 A> 22
13 24 2 01 21 11 A>
14 27 1 01 21 11 <A 11
15 29 -1 01 21 <A 22 11
16 32 0 01 11 A> 22 11
17 34 2 01 112 A> 11
18 35 1 01 112 <A 21
19 39 -3 01 <A 222 21
20 42 -2 12 C> 222 21
21 46 2 12 222 C> 21
22 51 1 12 222 <A 22
23 52 2 12 22 21 A> 22
24 54 4 12 22 21 11 A>
25 57 3 12 22 21 11 <A 11
26 59 1 12 22 21 <A 22 11
27 62 2 12 22 11 A> 22 11
28 64 4 12 22 112 A> 11
29 65 3 12 22 112 <A 21
30 69 -1 12 22 <A 222 21
31 70 0 12 21 A> 222 21
32 74 4 12 21 112 A> 21
33 77 3 12 21 112 <A 22
34 81 -1 12 21 <A 223
35 84 0 12 11 A> 223
36 90 6 12 114 A>
37 93 5 12 114 <A 11
38 101 -3 12 <A 224 11
39 102 -2 11 A> 224 11
40 110 6 115 A> 11
41 111 5 115 <A 21
42 121 -5 <A 225 21
43 122 -4 01 B> 225 21
44 132 6 01 225 B> 21
45 137 5 01 225 <A 22
46 138 6 01 224 21 A> 22
47 140 8 01 224 21 11 A>
48 143 7 01 224 21 11 <A 11
49 145 5 01 224 21 <A 22 11
50 148 6 01 224 11 A> 22 11
51 150 8 01 224 112 A> 11
52 151 7 01 224 112 <A 21
53 155 3 01 224 <A 222 21
54 156 4 01 223 21 A> 222 21
55 160 8 01 223 21 112 A> 21
56 163 7 01 223 21 112 <A 22
57 167 3 01 223 21 <A 223
58 170 4 01 223 11 A> 223
59 176 10 01 223 114 A>
60 179 9 01 223 114 <A 11
61 187 1 01 223 <A 224 11
62 188 2 01 222 21 A> 224 11
63 196 10 01 222 21 114 A> 11
64 197 9 01 222 21 114 <A 21
65 205 1 01 222 21 <A 224 21
66 208 2 01 222 11 A> 224 21
67 216 10 01 222 115 A> 21
68 219 9 01 222 115 <A 22
69 229 -1 01 222 <A 226
70 230 0 01 22 21 A> 226
71 242 12 01 22 21 116 A>
72 245 11 01 22 21 116 <A 11
73 257 -1 01 22 21 <A 226 11
74 260 0 01 22 11 A> 226 11
75 272 12 01 22 117 A> 11
76 273 11 01 22 117 <A 21
77 287 -3 01 22 <A 227 21
78 288 -2 01 21 A> 227 21
79 302 12 01 21 117 A> 21
80 305 11 01 21 117 <A 22
81 319 -3 01 21 <A 228
82 322 -2 01 11 A> 228
83 338 14 01 119 A>
84 341 13 01 119 <A 11
85 359 -5 01 <A 229 11
86 362 -4 12 C> 229 11
87 380 14 12 229 C> 11
88 381 13 12 229 <A 11
89 382 14 12 228 21 A> 11
90 383 13 12 228 21 <A 21
91 386 14 12 228 11 A> 21
92 389 13 12 228 11 <A 22
93 391 11 12 228 <A 222
94 392 12 12 227 21 A> 222
95 396 16 12 227 21 112 A>
96 399 15 12 227 21 112 <A 11
97 403 11 12 227 21 <A 222 11
98 406 12 12 227 11 A> 222 11
99 410 16 12 227 113 A> 11
100 411 15 12 227 113 <A 21
101 417 9 12 227 <A 223 21
102 418 10 12 226 21 A> 223 21
103 424 16 12 226 21 113 A> 21
104 427 15 12 226 21 113 <A 22
105 433 9 12 226 21 <A 224
106 436 10 12 226 11 A> 224
107 444 18 12 226 115 A>
108 447 17 12 226 115 <A 11
109 457 7 12 226 <A 225 11
110 458 8 12 225 21 A> 225 11
111 468 18 12 225 21 115 A> 11
112 469 17 12 225 21 115 <A 21
113 479 7 12 225 21 <A 225 21
114 482 8 12 225 11 A> 225 21
115 492 18 12 225 116 A> 21
116 495 17 12 225 116 <A 22
117 507 5 12 225 <A 227
118 508 6 12 224 21 A> 227
119 522 20 12 224 21 117 A>
120 525 19 12 224 21 117 <A 11
121 539 5 12 224 21 <A 227 11
122 542 6 12 224 11 A> 227 11
123 556 20 12 224 118 A> 11
124 557 19 12 224 118 <A 21
125 573 3 12 224 <A 228 21
126 574 4 12 223 21 A> 228 21
127 590 20 12 223 21 118 A> 21
128 593 19 12 223 21 118 <A 22
129 609 3 12 223 21 <A 229
130 612 4 12 223 11 A> 229
131 630 22 12 223 1110 A>
132 633 21 12 223 1110 <A 11
133 653 1 12 223 <A 2210 11
134 654 2 12 222 21 A> 2210 11
135 674 22 12 222 21 1110 A> 11
136 675 21 12 222 21 1110 <A 21
137 695 1 12 222 21 <A 2210 21
138 698 2 12 222 11 A> 2210 21
139 718 22 12 222 1111 A> 21
140 721 21 12 222 1111 <A 22
141 743 -1 12 222 <A 2212
142 744 0 12 22 21 A> 2212
143 768 24 12 22 21 1112 A>
144 771 23 12 22 21 1112 <A 11
145 795 -1 12 22 21 <A 2212 11
146 798 0 12 22 11 A> 2212 11
147 822 24 12 22 1113 A> 11
148 823 23 12 22 1113 <A 21
149 849 -3 12 22 <A 2213 21
150 850 -2 12 21 A> 2213 21
151 876 24 12 21 1113 A> 21
152 879 23 12 21 1113 <A 22
153 905 -3 12 21 <A 2214
154 908 -2 12 11 A> 2214
155 936 26 12 1115 A>
156 939 25 12 1115 <A 11
157 969 -5 12 <A 2215 11
158 970 -4 11 A> 2215 11
159 1000 26 1116 A> 11
160 1001 25 1116 <A 21
161 1033 -7 <A 2216 21
162 1034 -6 01 B> 2216 21
163 1066 26 01 2216 B> 21
164 1071 25 01 2216 <A 22
165 1072 26 01 2215 21 A> 22
166 1074 28 01 2215 21 11 A>
167 1077 27 01 2215 21 11 <A 11
168 1079 25 01 2215 21 <A 22 11
169 1082 26 01 2215 11 A> 22 11
170 1084 28 01 2215 112 A> 11
171 1085 27 01 2215 112 <A 21
172 1089 23 01 2215 <A 222 21
173 1090 24 01 2214 21 A> 222 21
174 1094 28 01 2214 21 112 A> 21
175 1097 27 01 2214 21 112 <A 22
176 1101 23 01 2214 21 <A 223
177 1104 24 01 2214 11 A> 223
178 1110 30 01 2214 114 A>
179 1113 29 01 2214 114 <A 11
180 1121 21 01 2214 <A 224 11
181 1122 22 01 2213 21 A> 224 11
182 1130 30 01 2213 21 114 A> 11
183 1131 29 01 2213 21 114 <A 21
184 1139 21 01 2213 21 <A 224 21
185 1142 22 01 2213 11 A> 224 21
186 1150 30 01 2213 115 A> 21
187 1153 29 01 2213 115 <A 22
188 1163 19 01 2213 <A 226
189 1164 20 01 2212 21 A> 226
190 1176 32 01 2212 21 116 A>
191 1179 31 01 2212 21 116 <A 11
192 1191 19 01 2212 21 <A 226 11
193 1194 20 01 2212 11 A> 226 11
194 1206 32 01 2212 117 A> 11
195 1207 31 01 2212 117 <A 21
196 1221 17 01 2212 <A 227 21
197 1222 18 01 2211 21 A> 227 21
198 1236 32 01 2211 21 117 A> 21
199 1239 31 01 2211 21 117 <A 22
200 1253 17 01 2211 21 <A 228
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1253
Tape index: 17
nonzeros: 41
log10(nonzeros): 1.613
log10(steps ): 3.098
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol TM #a of G. Lafitte & C. Papazian
5T B1R A2L A1R C1L A1L C2R Z1R A1L B2R
: 43'925 1'808'669'046
L 10
M 201
pref sim
machv Laf33_a just simple
machv Laf33_a-r with repetitions reduced
machv Laf33_a-1 with tape symbol exponents
machv Laf33_a-m as 2-macro machine
machv Laf33_a-a as 2-macro machine with pure additive config-TRs
iam Laf33_a-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:44 CEST 2010
edate Tue Jul 6 22:11:44 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:44 CEST 2010