Comment: This TM produces 90'604 nonzeros in 8'619'024'596 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | B1R | A3L | B1L | A1R | A3R | 1 | right | B | 3 | left | A | 1 | left | B | 1 | right | A | 3 | right | A |
| B | B2L | A3L | A3R | B4R | Z1R | 2 | left | B | 3 | left | A | 3 | right | A | 4 | right | B | 1 | right | Z |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 1 1 (1)B>
2 3 -1 <A(3) 2
3 5 1 1 (4)B> 2
4 6 2 1 4 (3)A>
5 7 3 1 4 3 (1)B>
6 9 1 1 4 3 <A(3) 2
7 11 3 1 4 1 (1)A> 2
8 13 1 1 4 1 <A(3) 1
9 14 0 1 4 <A(3) 3 1
10 16 2 1 3 (1)A> 3 1
11 17 3 1 3 1 (1)A> 1
12 19 1 1 3 1 <A(3) 3
13 20 0 1 3 <A(3) 32
14 22 2 12 (1)A> 32
15 24 4 14 (1)A>
16 25 5 15 (1)B>
17 27 3 15 <A(3) 2
18 32 -2 <A(3) 35 2
19 34 0 1 (4)B> 35 2
20 39 5 1 45 (4)B> 2
21 40 6 1 46 (3)A>
22 41 7 1 46 3 (1)B>
23 43 5 1 46 3 <A(3) 2
24 45 7 1 46 1 (1)A> 2
25 47 5 1 46 1 <A(3) 1
26 48 4 1 46 <A(3) 3 1
27 50 6 1 45 3 (1)A> 3 1
28 51 7 1 45 3 1 (1)A> 1
29 53 5 1 45 3 1 <A(3) 3
30 54 4 1 45 3 <A(3) 32
31 56 6 1 45 1 (1)A> 32
32 58 8 1 45 13 (1)A>
33 59 9 1 45 14 (1)B>
34 61 7 1 45 14 <A(3) 2
35 65 3 1 45 <A(3) 34 2
36 67 5 1 44 3 (1)A> 34 2
37 71 9 1 44 3 14 (1)A> 2
38 73 7 1 44 3 14 <A(3) 1
39 77 3 1 44 3 <A(3) 34 1
40 79 5 1 44 1 (1)A> 34 1
41 83 9 1 44 15 (1)A> 1
42 85 7 1 44 15 <A(3) 3
43 90 2 1 44 <A(3) 36
44 92 4 1 43 3 (1)A> 36
45 98 10 1 43 3 16 (1)A>
46 99 11 1 43 3 17 (1)B>
47 101 9 1 43 3 17 <A(3) 2
48 108 2 1 43 3 <A(3) 37 2
49 110 4 1 43 1 (1)A> 37 2
50 117 11 1 43 18 (1)A> 2
51 119 9 1 43 18 <A(3) 1
52 127 1 1 43 <A(3) 38 1
53 129 3 1 42 3 (1)A> 38 1
54 137 11 1 42 3 18 (1)A> 1
55 139 9 1 42 3 18 <A(3) 3
56 147 1 1 42 3 <A(3) 39
57 149 3 1 42 1 (1)A> 39
58 158 12 1 42 110 (1)A>
59 159 13 1 42 111 (1)B>
60 161 11 1 42 111 <A(3) 2
61 172 0 1 42 <A(3) 311 2
62 174 2 1 4 3 (1)A> 311 2
63 185 13 1 4 3 111 (1)A> 2
64 187 11 1 4 3 111 <A(3) 1
65 198 0 1 4 3 <A(3) 311 1
66 200 2 1 4 1 (1)A> 311 1
67 211 13 1 4 112 (1)A> 1
68 213 11 1 4 112 <A(3) 3
69 225 -1 1 4 <A(3) 313
70 227 1 1 3 (1)A> 313
71 240 14 1 3 113 (1)A>
72 241 15 1 3 114 (1)B>
73 243 13 1 3 114 <A(3) 2
74 257 -1 1 3 <A(3) 314 2
75 259 1 12 (1)A> 314 2
76 273 15 116 (1)A> 2
77 275 13 116 <A(3) 1
78 291 -3 <A(3) 316 1
79 293 -1 1 (4)B> 316 1
80 309 15 1 416 (4)B> 1
81 312 16 1 416 3 (1)A>
82 313 17 1 416 3 1 (1)B>
83 315 15 1 416 3 1 <A(3) 2
84 316 14 1 416 3 <A(3) 3 2
85 318 16 1 416 1 (1)A> 3 2
86 319 17 1 416 12 (1)A> 2
87 321 15 1 416 12 <A(3) 1
88 323 13 1 416 <A(3) 32 1
89 325 15 1 415 3 (1)A> 32 1
90 327 17 1 415 3 12 (1)A> 1
91 329 15 1 415 3 12 <A(3) 3
92 331 13 1 415 3 <A(3) 33
93 333 15 1 415 1 (1)A> 33
94 336 18 1 415 14 (1)A>
95 337 19 1 415 15 (1)B>
96 339 17 1 415 15 <A(3) 2
97 344 12 1 415 <A(3) 35 2
98 346 14 1 414 3 (1)A> 35 2
99 351 19 1 414 3 15 (1)A> 2
100 353 17 1 414 3 15 <A(3) 1
101 358 12 1 414 3 <A(3) 35 1
102 360 14 1 414 1 (1)A> 35 1
103 365 19 1 414 16 (1)A> 1
104 367 17 1 414 16 <A(3) 3
105 373 11 1 414 <A(3) 37
106 375 13 1 413 3 (1)A> 37
107 382 20 1 413 3 17 (1)A>
108 383 21 1 413 3 18 (1)B>
109 385 19 1 413 3 18 <A(3) 2
110 393 11 1 413 3 <A(3) 38 2
111 395 13 1 413 1 (1)A> 38 2
112 403 21 1 413 19 (1)A> 2
113 405 19 1 413 19 <A(3) 1
114 414 10 1 413 <A(3) 39 1
115 416 12 1 412 3 (1)A> 39 1
116 425 21 1 412 3 19 (1)A> 1
117 427 19 1 412 3 19 <A(3) 3
118 436 10 1 412 3 <A(3) 310
119 438 12 1 412 1 (1)A> 310
120 448 22 1 412 111 (1)A>
121 449 23 1 412 112 (1)B>
122 451 21 1 412 112 <A(3) 2
123 463 9 1 412 <A(3) 312 2
124 465 11 1 411 3 (1)A> 312 2
125 477 23 1 411 3 112 (1)A> 2
126 479 21 1 411 3 112 <A(3) 1
127 491 9 1 411 3 <A(3) 312 1
128 493 11 1 411 1 (1)A> 312 1
129 505 23 1 411 113 (1)A> 1
130 507 21 1 411 113 <A(3) 3
131 520 8 1 411 <A(3) 314
132 522 10 1 410 3 (1)A> 314
133 536 24 1 410 3 114 (1)A>
134 537 25 1 410 3 115 (1)B>
135 539 23 1 410 3 115 <A(3) 2
136 554 8 1 410 3 <A(3) 315 2
137 556 10 1 410 1 (1)A> 315 2
138 571 25 1 410 116 (1)A> 2
139 573 23 1 410 116 <A(3) 1
140 589 7 1 410 <A(3) 316 1
141 591 9 1 49 3 (1)A> 316 1
142 607 25 1 49 3 116 (1)A> 1
143 609 23 1 49 3 116 <A(3) 3
144 625 7 1 49 3 <A(3) 317
145 627 9 1 49 1 (1)A> 317
146 644 26 1 49 118 (1)A>
147 645 27 1 49 119 (1)B>
148 647 25 1 49 119 <A(3) 2
149 666 6 1 49 <A(3) 319 2
150 668 8 1 48 3 (1)A> 319 2
151 687 27 1 48 3 119 (1)A> 2
152 689 25 1 48 3 119 <A(3) 1
153 708 6 1 48 3 <A(3) 319 1
154 710 8 1 48 1 (1)A> 319 1
155 729 27 1 48 120 (1)A> 1
156 731 25 1 48 120 <A(3) 3
157 751 5 1 48 <A(3) 321
158 753 7 1 47 3 (1)A> 321
159 774 28 1 47 3 121 (1)A>
160 775 29 1 47 3 122 (1)B>
161 777 27 1 47 3 122 <A(3) 2
162 799 5 1 47 3 <A(3) 322 2
163 801 7 1 47 1 (1)A> 322 2
164 823 29 1 47 123 (1)A> 2
165 825 27 1 47 123 <A(3) 1
166 848 4 1 47 <A(3) 323 1
167 850 6 1 46 3 (1)A> 323 1
168 873 29 1 46 3 123 (1)A> 1
169 875 27 1 46 3 123 <A(3) 3
170 898 4 1 46 3 <A(3) 324
171 900 6 1 46 1 (1)A> 324
172 924 30 1 46 125 (1)A>
173 925 31 1 46 126 (1)B>
174 927 29 1 46 126 <A(3) 2
175 953 3 1 46 <A(3) 326 2
176 955 5 1 45 3 (1)A> 326 2
177 981 31 1 45 3 126 (1)A> 2
178 983 29 1 45 3 126 <A(3) 1
179 1009 3 1 45 3 <A(3) 326 1
180 1011 5 1 45 1 (1)A> 326 1
181 1037 31 1 45 127 (1)A> 1
182 1039 29 1 45 127 <A(3) 3
183 1066 2 1 45 <A(3) 328
184 1068 4 1 44 3 (1)A> 328
185 1096 32 1 44 3 128 (1)A>
186 1097 33 1 44 3 129 (1)B>
187 1099 31 1 44 3 129 <A(3) 2
188 1128 2 1 44 3 <A(3) 329 2
189 1130 4 1 44 1 (1)A> 329 2
190 1159 33 1 44 130 (1)A> 2
191 1161 31 1 44 130 <A(3) 1
192 1191 1 1 44 <A(3) 330 1
193 1193 3 1 43 3 (1)A> 330 1
194 1223 33 1 43 3 130 (1)A> 1
195 1225 31 1 43 3 130 <A(3) 3
196 1255 1 1 43 3 <A(3) 331
197 1257 3 1 43 1 (1)A> 331
198 1288 34 1 43 132 (1)A>
199 1289 35 1 43 133 (1)B>
200 1291 33 1 43 133 <A(3) 2
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1291
Tape index: 33
nonzeros: 39
log10(nonzeros): 1.591
log10(steps ): 3.111
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol TM #a (G. Lafitte & C. Papazian)
5T B1R A3L B1L A1R A3R B2L A3L A3R B4R Z1R
: 90'604 8'619'024'596
L 4
M 201
pref sim
machv Laf25_a just simple
machv Laf25_a-r with repetitions reduced
machv Laf25_a-1 with tape symbol exponents
machv Laf25_a-m as 1-bck-macro machine
machv Laf25_a-a as 1-bck-macro machine with pure additive config-TRs
iam Laf25_a-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:53 CEST 2010
edate Tue Jul 6 22:11:53 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:53 CEST 2010