Comment: This TM produces 6 nonzeros in 26 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 2LA | 1RH | 1 | right | B | 2 | left | A | 1 | right | H |
| B | 1LB | 1LA | 0RA | 1 | left | B | 1 | left | A | 0 | right | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 3 -1 <A 11
2 4 0 01 B> 11
3 5 -1 01 <A 11
4 8 0 10 A> 11
5 9 -1 10 <A 21
6 10 0 11 B> 21
7 14 2 11 10 A>
8 17 1 11 10 <A 11
9 18 2 112 B> 11
10 19 1 112 <A 11
11 23 -3 <A 222 11
12 24 -2 01 B> 222 11
13 26 0 012 H> 22 11
13 26 0 012 H> 22 11 [stop]
Lines: 15
Top steps: 13
Macro steps: 13
Basic steps: 26
Tape index: 0
nonzeros: 6
log10(nonzeros): 0.778
log10(steps ): 1.415
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 2-state 3-symbol contender (cited from P.Michel)
: 6 26
5T 1RB 2LA 1RH 1LB 1LA 0RA
L 6
M 201
pref sim
machv TM23_a just simple
machv TM23_a-r with repetitions reduced
machv TM23_a-1 with tape symbol exponents
machv TM23_a-m as 2-macro machine
machv TM23_a-a as 2-macro machine with pure additive config-TRs
iam TM23_a-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:33 CEST 2010
edate Tue Jul 6 22:12:33 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:12:33 CEST 2010