Comment: This TM produces 4096 ones in 11804896 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | A1L | 1 | left | B | 1 | left | A |
| B | C1R | D0L | 1 | right | C | 0 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | H1L | E1L | 1 | left | H | 1 | left | E |
| E | C1R | B1L | 1 | right | C | 1 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-macro machine.
Simulation is done as 3-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 -1 <B 100
2 2 0 001 C> 100
3 7 -1 001 <E 101
4 10 0 011 C> 101
5 15 -1 011 <A 111
6 18 -4 <B 1112
7 19 -3 001 C> 1112
8 25 3 001 1112 C>
9 28 2 001 1112 <D 010
10 34 -4 001 <D 0112 010
11 37 -3 011 C> 0112 010
12 40 -4 011 <A 111 011 010
13 43 -7 <B 1112 011 010
14 44 -6 001 C> 1112 011 010
15 50 0 001 1112 C> 011 010
16 53 -1 001 1112 <A 111 010
17 59 -7 001 <A 1113 010
18 64 -6 111 C> 1113 010
19 73 3 1114 C> 010
20 76 2 1114 <A 110
21 88 -10 <A 1114 110
22 91 -9 011 C> 1114 110
23 103 3 011 1114 C> 110
24 106 6 011 1115 A>
25 107 5 011 1115 <B 100
26 122 -10 011 <B 1105 100
27 127 -9 111 A> 1105 100
28 128 -10 111 <A 1105 100
29 131 -13 <A 111 1105 100
30 134 -12 011 C> 111 1105 100
31 137 -9 011 111 C> 1105 100
32 140 -6 011 1112 A> 1104 100
33 141 -7 011 1112 <A 1104 100
34 147 -13 011 <A 1112 1104 100
35 150 -16 <B 1113 1104 100
36 151 -15 001 C> 1113 1104 100
37 160 -6 001 1113 C> 1104 100
38 163 -3 001 1114 A> 1103 100
39 164 -4 001 1114 <A 1103 100
40 176 -16 001 <A 1114 1103 100
41 181 -15 111 C> 1114 1103 100
42 193 -3 1115 C> 1103 100
43 196 0 1116 A> 1102 100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1111+V(1) A> 1104+V(2) [*]*
1 1 -1 1111+V(1) <A 1104+V(2) [*]*
2 4+3*V(1) -4+-3*V(1) <A 1111+V(1) 1104+V(2) [*]*
3 7+3*V(1) -3+-3*V(1) 011 C> 1111+V(1) 1104+V(2) [*]*
4 10+6*V(1) 0 011 1111+V(1) C> 1104+V(2) [*]*
5 13+6*V(1) 3 011 1112+V(1) A> 1103+V(2) [*]*
6 14+6*V(1) 2 011 1112+V(1) <A 1103+V(2) [*]*
7 20+9*V(1) -4+-3*V(1) 011 <A 1112+V(1) 1103+V(2) [*]*
8 23+9*V(1) -7+-3*V(1) <B 1113+V(1) 1103+V(2) [*]*
9 24+9*V(1) -6+-3*V(1) 001 C> 1113+V(1) 1103+V(2) [*]*
10 33+12*V(1) 3 001 1113+V(1) C> 1103+V(2) [*]*
11 36+12*V(1) 6 001 1114+V(1) A> 1102+V(2) [*]*
12 37+12*V(1) 5 001 1114+V(1) <A 1102+V(2) [*]*
13 49+15*V(1) -7+-3*V(1) 001 <A 1114+V(1) 1102+V(2) [*]*
14 54+15*V(1) -6+-3*V(1) 111 C> 1114+V(1) 1102+V(2) [*]*
15 66+18*V(1) 6 1115+V(1) C> 1102+V(2) [*]*
16 69+18*V(1) 9 1116+V(1) A> 1101+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
44 197 -1 1116 <A 1102 100
45 215 -19 <A 1116 1102 100
46 218 -18 011 C> 1116 1102 100
47 236 0 011 1116 C> 1102 100
48 239 3 011 1117 A> 110 100
49 240 2 011 1117 <A 110 100
50 261 -19 011 <A 1117 110 100
51 264 -22 <B 1118 110 100
52 265 -21 001 C> 1118 110 100
53 289 3 001 1118 C> 110 100
54 292 6 001 1119 A> 100
55 293 5 001 1119 <A 100
56 320 -22 001 <A 1119 100
57 325 -21 111 C> 1119 100
58 352 6 11110 C> 100
59 357 5 11110 <E 101
60 387 -25 <E 10111
61 388 -24 001 C> 10111
62 393 -25 001 <A 111 10110
63 398 -24 111 C> 111 10110
64 401 -21 1112 C> 10110
65 406 -22 1112 <A 111 1019
66 412 -28 <A 1113 1019
67 415 -27 011 C> 1113 1019
68 424 -18 011 1113 C> 1019
69 429 -19 011 1113 <A 111 1018
70 438 -28 011 <A 1114 1018
71 441 -31 <B 1115 1018
72 442 -30 001 C> 1115 1018
73 457 -15 001 1115 C> 1018
74 462 -16 001 1115 <A 111 1017
75 477 -31 001 <A 1116 1017
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 001 <A 1111+V(2) 1014+V(1)
1 5 1 111 C> 1111+V(2) 1014+V(1)
2 8+3*V(2) 4+3*V(2) 1112+V(2) C> 1014+V(1)
3 13+3*V(2) 3+3*V(2) 1112+V(2) <A 111 1013+V(1)
4 19+6*V(2) -3 <A 1113+V(2) 1013+V(1)
5 22+6*V(2) -2 011 C> 1113+V(2) 1013+V(1)
6 31+9*V(2) 7+3*V(2) 011 1113+V(2) C> 1013+V(1)
7 36+9*V(2) 6+3*V(2) 011 1113+V(2) <A 111 1012+V(1)
8 45+12*V(2) -3 011 <A 1114+V(2) 1012+V(1)
9 48+12*V(2) -6 <B 1115+V(2) 1012+V(1)
10 49+12*V(2) -5 001 C> 1115+V(2) 1012+V(1)
11 64+15*V(2) 10+3*V(2) 001 1115+V(2) C> 1012+V(1)
12 69+15*V(2) 9+3*V(2) 001 1115+V(2) <A 111 1011+V(1)
13 84+18*V(2) -6 001 <A 1116+V(2) 1011+V(1)
<< Success! ==> defined new CTR 2 (PA)
75 477 -31 001 <A 1116 1017
== Executing PA-CTR 2, V(1)=3, V(2)=5, repcount=2, factor=5/3
101 915 -43 001 <A 11116 101
102 920 -42 111 C> 11116 101
103 968 6 11117 C> 101
104 973 5 11117 <A 111
105 1024 -46 <A 11118
106 1027 -45 011 C> 11118
107 1081 9 011 11118 C>
108 1084 8 011 11118 <D 010
109 1138 -46 011 <D 01118 010
110 1143 -45 111 C> 01118 010
111 1146 -46 111 <A 111 01117 010
112 1149 -49 <A 1112 01117 010
113 1152 -48 011 C> 1112 01117 010
114 1158 -42 011 1112 C> 01117 010
115 1161 -43 011 1112 <A 111 01116 010
116 1167 -49 011 <A 1113 01116 010
117 1170 -52 <B 1114 01116 010
118 1171 -51 001 C> 1114 01116 010
119 1183 -39 001 1114 C> 01116 010
120 1186 -40 001 1114 <A 111 01115 010
121 1198 -52 001 <A 1115 01115 010
122 1203 -51 111 C> 1115 01115 010
123 1218 -36 1116 C> 01115 010
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1111+V(1) C> 0114+V(2) [*]*
1 3 -1 1111+V(1) <A 111 0113+V(2) [*]*
2 6+3*V(1) -4+-3*V(1) <A 1112+V(1) 0113+V(2) [*]*
3 9+3*V(1) -3+-3*V(1) 011 C> 1112+V(1) 0113+V(2) [*]*
4 15+6*V(1) 3 011 1112+V(1) C> 0113+V(2) [*]*
5 18+6*V(1) 2 011 1112+V(1) <A 111 0112+V(2) [*]*
6 24+9*V(1) -4+-3*V(1) 011 <A 1113+V(1) 0112+V(2) [*]*
7 27+9*V(1) -7+-3*V(1) <B 1114+V(1) 0112+V(2) [*]*
8 28+9*V(1) -6+-3*V(1) 001 C> 1114+V(1) 0112+V(2) [*]*
9 40+12*V(1) 6 001 1114+V(1) C> 0112+V(2) [*]*
10 43+12*V(1) 5 001 1114+V(1) <A 111 0111+V(2) [*]*
11 55+15*V(1) -7+-3*V(1) 001 <A 1115+V(1) 0111+V(2) [*]*
12 60+15*V(1) -6+-3*V(1) 111 C> 1115+V(1) 0111+V(2) [*]*
13 75+18*V(1) 9 1116+V(1) C> 0111+V(2) [*]*
<< Success! ==> defined new CTR 3 (PA)
123 1218 -36 1116 C> 01115 010
== Executing PA-CTR 3, V(1)=5, V(2)=11, repcount=4, factor=5/3
175 2418 0 11126 C> 0113 010
176 2421 -1 11126 <A 111 0112 010
177 2499 -79 <A 11127 0112 010
178 2502 -78 011 C> 11127 0112 010
179 2583 3 011 11127 C> 0112 010
180 2586 2 011 11127 <A 111 011 010
181 2667 -79 011 <A 11128 011 010
182 2670 -82 <B 11129 011 010
183 2671 -81 001 C> 11129 011 010
184 2758 6 001 11129 C> 011 010
185 2761 5 001 11129 <A 111 010
186 2848 -82 001 <A 11130 010
187 2853 -81 111 C> 11130 010
188 2943 9 11131 C> 010
189 2946 8 11131 <A 110
190 3039 -85 <A 11131 110
191 3042 -84 011 C> 11131 110
192 3135 9 011 11131 C> 110
193 3138 12 011 11132 A>
194 3139 11 011 11132 <B 100
195 3235 -85 011 <B 11032 100
196 3240 -84 111 A> 11032 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1111+V(1) C> 0113 010
1 3 -1 1111+V(1) <A 111 0112 010
2 6+3*V(1) -4+-3*V(1) <A 1112+V(1) 0112 010
3 9+3*V(1) -3+-3*V(1) 011 C> 1112+V(1) 0112 010
4 15+6*V(1) 3 011 1112+V(1) C> 0112 010
5 18+6*V(1) 2 011 1112+V(1) <A 111 011 010
6 24+9*V(1) -4+-3*V(1) 011 <A 1113+V(1) 011 010
7 27+9*V(1) -7+-3*V(1) <B 1114+V(1) 011 010
8 28+9*V(1) -6+-3*V(1) 001 C> 1114+V(1) 011 010
9 40+12*V(1) 6 001 1114+V(1) C> 011 010
10 43+12*V(1) 5 001 1114+V(1) <A 111 010
11 55+15*V(1) -7+-3*V(1) 001 <A 1115+V(1) 010
12 60+15*V(1) -6+-3*V(1) 111 C> 1115+V(1) 010
13 75+18*V(1) 9 1116+V(1) C> 010
14 78+18*V(1) 8 1116+V(1) <A 110
15 96+21*V(1) -10+-3*V(1) <A 1116+V(1) 110
16 99+21*V(1) -9+-3*V(1) 011 C> 1116+V(1) 110
17 117+24*V(1) 9 011 1116+V(1) C> 110
18 120+24*V(1) 12 011 1117+V(1) A>
19 121+24*V(1) 11 011 1117+V(1) <B 100
20 142+27*V(1) -10+-3*V(1) 011 <B 1107+V(1) 100
21 147+27*V(1) -9+-3*V(1) 111 A> 1107+V(1) 100
<< Success! ==> defined new CTR 4 (PPA)
196 3240 -84 111 A> 11032 100
== Executing PA-CTR 1, V(1)=0, V(2)=28, repcount=10, factor=5/3
356 7980 6 11151 A> 1102 100
357 7981 5 11151 <A 1102 100
358 8134 -148 <A 11151 1102 100
359 8137 -147 011 C> 11151 1102 100
360 8290 6 011 11151 C> 1102 100
361 8293 9 011 11152 A> 110 100
362 8294 8 011 11152 <A 110 100
363 8450 -148 011 <A 11152 110 100
364 8453 -151 <B 11153 110 100
365 8454 -150 001 C> 11153 110 100
366 8613 9 001 11153 C> 110 100
367 8616 12 001 11154 A> 100
368 8617 11 001 11154 <A 100
369 8779 -151 001 <A 11154 100
370 8784 -150 111 C> 11154 100
371 8946 12 11155 C> 100
372 8951 11 11155 <E 101
373 9116 -154 <E 10156
374 9117 -153 001 C> 10156
375 9122 -154 001 <A 111 10155
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1111+V(1) A> 1102 100
1 1 -1 1111+V(1) <A 1102 100
2 4+3*V(1) -4+-3*V(1) <A 1111+V(1) 1102 100
3 7+3*V(1) -3+-3*V(1) 011 C> 1111+V(1) 1102 100
4 10+6*V(1) 0 011 1111+V(1) C> 1102 100
5 13+6*V(1) 3 011 1112+V(1) A> 110 100
6 14+6*V(1) 2 011 1112+V(1) <A 110 100
7 20+9*V(1) -4+-3*V(1) 011 <A 1112+V(1) 110 100
8 23+9*V(1) -7+-3*V(1) <B 1113+V(1) 110 100
9 24+9*V(1) -6+-3*V(1) 001 C> 1113+V(1) 110 100
10 33+12*V(1) 3 001 1113+V(1) C> 110 100
11 36+12*V(1) 6 001 1114+V(1) A> 100
12 37+12*V(1) 5 001 1114+V(1) <A 100
13 49+15*V(1) -7+-3*V(1) 001 <A 1114+V(1) 100
14 54+15*V(1) -6+-3*V(1) 111 C> 1114+V(1) 100
15 66+18*V(1) 6 1115+V(1) C> 100
16 71+18*V(1) 5 1115+V(1) <E 101
17 86+21*V(1) -10+-3*V(1) <E 1016+V(1)
18 87+21*V(1) -9+-3*V(1) 001 C> 1016+V(1)
19 92+21*V(1) -10+-3*V(1) 001 <A 111 1015+V(1)
<< Success! ==> defined new CTR 5 (PPA)
375 9122 -154 001 <A 111 10155
== Executing PA-CTR 2, V(1)=51, V(2)=0, repcount=18, factor=5/3
609 24404 -262 001 <A 11191 101
610 24409 -261 111 C> 11191 101
611 24682 12 11192 C> 101
612 24687 11 11192 <A 111
613 24963 -265 <A 11193
614 24966 -264 011 C> 11193
615 25245 15 011 11193 C>
616 25248 14 011 11193 <D 010
617 25527 -265 011 <D 01193 010
618 25532 -264 111 C> 01193 010
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 001 <A 1112+V(1) 101
1 5 1 111 C> 1112+V(1) 101
2 11+3*V(1) 7+3*V(1) 1113+V(1) C> 101
3 16+3*V(1) 6+3*V(1) 1113+V(1) <A 111
4 25+6*V(1) -3 <A 1114+V(1)
5 28+6*V(1) -2 011 C> 1114+V(1)
6 40+9*V(1) 10+3*V(1) 011 1114+V(1) C>
7 43+9*V(1) 9+3*V(1) 011 1114+V(1) <D 010
8 55+12*V(1) -3 011 <D 0114+V(1) 010
9 60+12*V(1) -2 111 C> 0114+V(1) 010
<< Success! ==> defined new CTR 6 (PPA)
618 25532 -264 111 C> 01193 010
== Executing PA-CTR 3, V(1)=0, V(2)=89, repcount=30, factor=5/3
1008 66932 6 111151 C> 0113 010
== Executing PPA-CTR 4 (once), V(1)=150
1029 71129 -453 111 A> 110157 100
== Executing PA-CTR 1, V(1)=0, V(2)=153, repcount=52, factor=5/3
1861 194057 15 111261 A> 110 100
1862 194058 14 111261 <A 110 100
1863 194841 -769 <A 111261 110 100
1864 194844 -768 011 C> 111261 110 100
1865 195627 15 011 111261 C> 110 100
1866 195630 18 011 111262 A> 100
1867 195631 17 011 111262 <A 100
1868 196417 -769 011 <A 111262 100
1869 196420 -772 <B 111263 100
1870 196421 -771 001 C> 111263 100
1871 197210 18 001 111263 C> 100
1872 197215 17 001 111263 <E 101
1873 198004 -772 001 <E 101264
1874 198007 -771 011 C> 101264
1875 198012 -772 011 <A 111 101263
1876 198015 -775 <B 1112 101263
1877 198016 -774 001 C> 1112 101263
1878 198022 -768 001 1112 C> 101263
1879 198027 -769 001 1112 <A 111 101262
1880 198033 -775 001 <A 1113 101262
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1113+V(1) A> 110 100
1 1 -1 1113+V(1) <A 110 100
2 10+3*V(1) -10+-3*V(1) <A 1113+V(1) 110 100
3 13+3*V(1) -9+-3*V(1) 011 C> 1113+V(1) 110 100
4 22+6*V(1) 0 011 1113+V(1) C> 110 100
5 25+6*V(1) 3 011 1114+V(1) A> 100
6 26+6*V(1) 2 011 1114+V(1) <A 100
7 38+9*V(1) -10+-3*V(1) 011 <A 1114+V(1) 100
8 41+9*V(1) -13+-3*V(1) <B 1115+V(1) 100
9 42+9*V(1) -12+-3*V(1) 001 C> 1115+V(1) 100
10 57+12*V(1) 3 001 1115+V(1) C> 100
11 62+12*V(1) 2 001 1115+V(1) <E 101
12 77+15*V(1) -13+-3*V(1) 001 <E 1016+V(1)
13 80+15*V(1) -12+-3*V(1) 011 C> 1016+V(1)
14 85+15*V(1) -13+-3*V(1) 011 <A 111 1015+V(1)
15 88+15*V(1) -16+-3*V(1) <B 1112 1015+V(1)
16 89+15*V(1) -15+-3*V(1) 001 C> 1112 1015+V(1)
17 95+15*V(1) -9+-3*V(1) 001 1112 C> 1015+V(1)
18 100+15*V(1) -10+-3*V(1) 001 1112 <A 111 1014+V(1)
19 106+15*V(1) -16+-3*V(1) 001 <A 1113 1014+V(1)
<< Success! ==> defined new CTR 7 (PPA)
1880 198033 -775 001 <A 1113 101262
== Executing PA-CTR 2, V(1)=258, V(2)=2, repcount=87, factor=5/3
3011 545163 -1297 001 <A 111438 101
== Executing PPA-CTR 6 (once), V(1)=436
3020 550455 -1299 111 C> 011440 010
== Executing PA-CTR 3, V(1)=0, V(2)=436, repcount=146, factor=5/3
4918 1514055 15 111731 C> 0112 010
4919 1514058 14 111731 <A 111 011 010
4920 1516251 -2179 <A 111732 011 010
4921 1516254 -2178 011 C> 111732 011 010
4922 1518450 18 011 111732 C> 011 010
4923 1518453 17 011 111732 <A 111 010
4924 1520649 -2179 011 <A 111733 010
4925 1520652 -2182 <B 111734 010
4926 1520653 -2181 001 C> 111734 010
4927 1522855 21 001 111734 C> 010
4928 1522858 20 001 111734 <A 110
4929 1525060 -2182 001 <A 111734 110
4930 1525065 -2181 111 C> 111734 110
4931 1527267 21 111735 C> 110
4932 1527270 24 111736 A>
4933 1527271 23 111736 <B 100
4934 1529479 -2185 <B 110736 100
4935 1529480 -2184 001 C> 110736 100
4936 1529483 -2181 001 111 A> 110735 100
4937 1529484 -2182 001 111 <A 110735 100
4938 1529487 -2185 001 <A 111 110735 100
4939 1529492 -2184 111 C> 111 110735 100
4940 1529495 -2181 1112 C> 110735 100
4941 1529498 -2178 1113 A> 110734 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1111+V(1) C> 0112 010
1 3 -1 1111+V(1) <A 111 011 010
2 6+3*V(1) -4+-3*V(1) <A 1112+V(1) 011 010
3 9+3*V(1) -3+-3*V(1) 011 C> 1112+V(1) 011 010
4 15+6*V(1) 3 011 1112+V(1) C> 011 010
5 18+6*V(1) 2 011 1112+V(1) <A 111 010
6 24+9*V(1) -4+-3*V(1) 011 <A 1113+V(1) 010
7 27+9*V(1) -7+-3*V(1) <B 1114+V(1) 010
8 28+9*V(1) -6+-3*V(1) 001 C> 1114+V(1) 010
9 40+12*V(1) 6 001 1114+V(1) C> 010
10 43+12*V(1) 5 001 1114+V(1) <A 110
11 55+15*V(1) -7+-3*V(1) 001 <A 1114+V(1) 110
12 60+15*V(1) -6+-3*V(1) 111 C> 1114+V(1) 110
13 72+18*V(1) 6 1115+V(1) C> 110
14 75+18*V(1) 9 1116+V(1) A>
15 76+18*V(1) 8 1116+V(1) <B 100
16 94+21*V(1) -10+-3*V(1) <B 1106+V(1) 100
17 95+21*V(1) -9+-3*V(1) 001 C> 1106+V(1) 100
18 98+21*V(1) -6+-3*V(1) 001 111 A> 1105+V(1) 100
19 99+21*V(1) -7+-3*V(1) 001 111 <A 1105+V(1) 100
20 102+21*V(1) -10+-3*V(1) 001 <A 111 1105+V(1) 100
21 107+21*V(1) -9+-3*V(1) 111 C> 111 1105+V(1) 100
22 110+21*V(1) -6+-3*V(1) 1112 C> 1105+V(1) 100
23 113+21*V(1) -3+-3*V(1) 1113 A> 1104+V(1) 100
<< Success! ==> defined new CTR 8 (PPA)
4941 1529498 -2178 1113 A> 110734 100
== Executing PA-CTR 1, V(1)=2, V(2)=730, repcount=244, factor=5/3
8845 4223258 18 1111223 A> 1102 100
== Executing PPA-CTR 5 (once), V(1)=1222
8864 4249012 -3658 001 <A 111 1011227
== Executing PA-CTR 2, V(1)=1223, V(2)=0, repcount=408, factor=5/3
14168 11755804 -6106 001 <A 1112041 1013
14169 11755809 -6105 111 C> 1112041 1013
14170 11761932 18 1112042 C> 1013
14171 11761937 17 1112042 <A 111 1012
14172 11768063 -6109 <A 1112043 1012
14173 11768066 -6108 011 C> 1112043 1012
14174 11774195 21 011 1112043 C> 1012
14175 11774200 20 011 1112043 <A 111 101
14176 11780329 -6109 011 <A 1112044 101
14177 11780332 -6112 <B 1112045 101
14178 11780333 -6111 001 C> 1112045 101
14179 11786468 24 001 1112045 C> 101
14180 11786473 23 001 1112045 <A 111
14181 11792608 -6112 001 <A 1112046
14182 11792613 -6111 111 C> 1112046
14183 11798751 27 1112047 C>
14184 11798754 26 1112047 <D 010
14185 11804895 -6115 <D 0112047 010
14186 11804896 -6116 0 H> 01 0112047 010 [stop]
Lines: 220
Top steps: 219
Macro steps: 14186
Basic steps: 11804896
Tape index: -6116
ones: 4096
log10(ones ): 3.612
log10(steps ): 7.072
Run state: stop
Input to awk program:
gohalt 1
L 48
5T B1L A1L C1R D0L A1R C1R H1L E1L C1R B1L : 4096 11804896
T 5-state TM #6 from MaBu-List
M 300
pref sim
machv mbL5_6 just simple
machv mbL5_6-r with repetitions reduced
machv mbL5_6-1 with tape symbol exponents
machv mbL5_6-m as 3-macro machine
machv mbL5_6-a as 3-macro machine with pure additive config-TRs
iam mbL5_6-a
mtype 3
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:22 CEST 2010
edate Tue Jul 6 22:10:23 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:10:22 CEST 2010