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.
The same TM as 9-macro machine.
Simulation is done 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
>> Try to prove a PA-CTR with 1 Vars...
0 0 0 000000111 <E 1111011101+V(1) [*]*
1 25 -9 <B 101101110 1111011101+V(1) [*]*
2 28 -8 000000011 D> 101101110 1111011101+V(1) [*]*
3 29 -9 000000011 <E 101101110 1111011101+V(1) [*]*
4 34 -8 000000111 C> 101101110 1111011101+V(1) [*]*
5 37 -9 000000111 <E 1111011102+V(1) [*]*
<< Success! ==> defined new CTR 1 (PA)
15 87 -19 000000111 <E 1111011102 110000000
== Executing PA-CTR 1, V(1)=1, repcount=Inf (doing just 1)
20 124 -28 000000111 <E 1111011103 110000000 [loop/gtConfig]
Lines: 17
Top steps: 16
Macro steps: 20
Basic steps: 124
Tape index: -28
ones: 26
log10(ones ): 1.415
log10(steps ): 2.093
Run state: loop/gtConfig
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 131
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-a
mtype 9
mmtyp 3
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