Comment: Found by jubu 1989-09-02, published first 2005-11-12 (on web)
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | C0L | 1 | left | B | 0 | left | C |
| B | C1L | Z== | 1 | left | C | Z | stay | = |
| C | C1R | D1R | 1 | right | C | 1 | right | D |
| D | D1L | E1L | 1 | left | D | 1 | left | E |
| E | A1L | A0L | 1 | left | A | 0 | left | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 9-macro machine.
The same TM as 9-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 9.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 -1 <B 100000000
2 4 0 000000011 D> 100000000
3 5 -1 000000011 <E 100000000
4 10 0 000000111 C> 100000000
5 13 -1 000000111 <E 110000000
6 38 -10 <B 101101110 110000000
7 41 -9 000000011 D> 101101110 110000000
8 42 -10 000000011 <E 101101110 110000000
9 47 -9 000000111 C> 101101110 110000000
10 50 -10 000000111 <E 111101110 110000000
11 75 -19 <B 101101110 111101110 110000000
12 78 -18 000000011 D> 101101110 111101110 110000000
13 79 -19 000000011 <E 101101110 111101110 110000000
14 84 -18 000000111 C> 101101110 111101110 110000000
15 87 -19 000000111 <E 1111011102 110000000
16 112 -28 <B 101101110 1111011102 110000000
17 115 -27 000000011 D> 101101110 1111011102 110000000
18 116 -28 000000011 <E 101101110 1111011102 110000000
19 121 -27 000000111 C> 101101110 1111011102 110000000
20 124 -28 000000111 <E 1111011103 110000000
21 149 -37 <B 101101110 1111011103 110000000
22 152 -36 000000011 D> 101101110 1111011103 110000000
23 153 -37 000000011 <E 101101110 1111011103 110000000
24 158 -36 000000111 C> 101101110 1111011103 110000000
25 161 -37 000000111 <E 1111011104 110000000
26 186 -46 <B 101101110 1111011104 110000000
27 189 -45 000000011 D> 101101110 1111011104 110000000
28 190 -46 000000011 <E 101101110 1111011104 110000000
29 195 -45 000000111 C> 101101110 1111011104 110000000
30 198 -46 000000111 <E 1111011105 110000000
31 223 -55 <B 101101110 1111011105 110000000
32 226 -54 000000011 D> 101101110 1111011105 110000000
33 227 -55 000000011 <E 101101110 1111011105 110000000
34 232 -54 000000111 C> 101101110 1111011105 110000000
35 235 -55 000000111 <E 1111011106 110000000
36 260 -64 <B 101101110 1111011106 110000000
37 263 -63 000000011 D> 101101110 1111011106 110000000
38 264 -64 000000011 <E 101101110 1111011106 110000000
39 269 -63 000000111 C> 101101110 1111011106 110000000
40 272 -64 000000111 <E 1111011107 110000000
41 297 -73 <B 101101110 1111011107 110000000
42 300 -72 000000011 D> 101101110 1111011107 110000000
43 301 -73 000000011 <E 101101110 1111011107 110000000
44 306 -72 000000111 C> 101101110 1111011107 110000000
45 309 -73 000000111 <E 1111011108 110000000
46 334 -82 <B 101101110 1111011108 110000000
47 337 -81 000000011 D> 101101110 1111011108 110000000
48 338 -82 000000011 <E 101101110 1111011108 110000000
49 343 -81 000000111 C> 101101110 1111011108 110000000
50 346 -82 000000111 <E 1111011109 110000000
51 371 -91 <B 101101110 1111011109 110000000
Lines: 52
Top steps: 51
Macro steps: 51
Basic steps: 371
Tape index: -91
ones: 71
log10(ones ): 1.851
log10(steps ): 2.569
Input to awk program:
gohalt 1
T 5-state TM with unusual symbol size 9
C Found by jubu 1989-09-02, published first 2005-11-12 (on web)
5T B1L C0L C1L Z== C1R D1R D1L E1L A1L A0L
L 35
M 52
pref sim
machv mbUSS_9 just simple
machv mbUSS_9-r with repetitions reduced
machv mbUSS_9-1 with tape symbol exponents
machv mbUSS_9-m as 9-macro machine
machv mbUSS_9-a as 9-macro machine with pure additive config-TRs
iam mbUSS_9-m
mtype 9
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:27 CEST 2010
edate Tue Jul 6 22:14:27 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:14:27 CEST 2010