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 | A1L | 1 | left | B | 1 | left | A |
| B | C1R | D1L | 1 | right | C | 1 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | Z== | E0L | Z | stay | = | 0 | left | E |
| E | C1L | B0L | 1 | left | C | 0 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 13-macro machine.
Simulation is done as 13-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 13.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 -1 <B 1000000000000
2 2 0 0000000000001 C> 1000000000000
3 7 -1 0000000000001 <E 0110000000000
4 10 0 0000000000011 A> 0110000000000
5 11 -1 0000000000011 <B 1110000000000
6 38 0 0000011111111 C> 1110000000000
7 47 -1 0000011111111 <D 1001100000000
8 76 -14 <A 1111111100100 1001100000000
9 79 -13 0000000000011 C> 1111111100100 1001100000000
10 98 -14 0000000000011 <B 0010010011100 1001100000000
11 125 -13 0000011111111 C> 0010010011100 1001100000000
12 128 -14 0000011111111 <D 1110010011100 1001100000000
13 157 -27 <A 1111111100100 1110010011100 1001100000000
14 160 -26 0000000000011 C> 1111111100100 1110010011100 1001100000000
15 179 -27 0000000000011 <B 0010010011100 1110010011100 1001100000000
16 206 -26 0000011111111 C> 0010010011100 1110010011100 1001100000000
17 209 -27 0000011111111 <D 11100100111002 1001100000000
>> Try to prove a PA-CTR with 1 Vars...
0 0 0 0000011111111 <D 11100100111001+V(1) [*]*
1 29 -13 <A 1111111100100 11100100111001+V(1) [*]*
2 32 -12 0000000000011 C> 1111111100100 11100100111001+V(1) [*]*
3 51 -13 0000000000011 <B 0010010011100 11100100111001+V(1) [*]*
4 78 -12 0000011111111 C> 0010010011100 11100100111001+V(1) [*]*
5 81 -13 0000011111111 <D 11100100111002+V(1) [*]*
<< Success! ==> defined new CTR 1 (PA)
17 209 -27 0000011111111 <D 11100100111002 1001100000000
== Executing PA-CTR 1, V(1)=1, repcount=Inf (doing just 1)
22 290 -40 0000011111111 <D 11100100111003 1001100000000 [loop/gtConfig]
Lines: 19
Top steps: 18
Macro steps: 22
Basic steps: 290
Tape index: -40
ones: 32
log10(ones ): 1.505
log10(steps ): 2.462
Run state: loop/gtConfig
Input to awk program:
gohalt 1
T 5-state TM with unusual symbol size 13
C Found by jubu 1989-09-02, published first 2005-11-12 (on web)
5T B1L A1L C1R D1L A1R C1R Z== E0L C1L B0L
L 52
M 201
pref sim
machv mbUSS_13 just simple
machv mbUSS_13-r with repetitions reduced
machv mbUSS_13-1 with tape symbol exponents
machv mbUSS_13-m as 13-macro machine
machv mbUSS_13-a as 13-macro machine with pure additive config-TRs
iam mbUSS_13-a
mtype 13
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:28 CEST 2010
edate Tue Jul 6 22:14:28 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:28 CEST 2010