Comment: This TM produces 8 nonzeros in 29 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 0LB | 1RH | 1 | right | B | 0 | left | B | 1 | right | H |
| B | 2LA | 1RB | 1RA | 2 | left | A | 1 | right | B | 1 | 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 <B 02
2 6 0 11 A> 02
3 8 2 112 A>
4 11 1 112 <B 02
5 12 2 112 B> 02
6 13 1 112 <A 22
7 17 -1 11 <B 02 22
8 18 0 11 B> 02 22
9 19 -1 11 <A 222
10 23 -3 <B 02 222
11 26 -2 11 A> 02 222
12 28 0 112 A> 222
13 29 1 112 1 H> 2 22 [stop]
Lines: 14
Top steps: 13
Macro steps: 13
Basic steps: 29
Tape index: 1
nonzeros: 8
log10(nonzeros): 0.903
log10(steps ): 1.462
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 2-state 3-symbol contender (cited from P.Michel)
: 8 29
5T 1RB 0LB 1RH 2LA 1RB 1RA
L 6
M 201
pref sim
machv TM23_b just simple
machv TM23_b-r with repetitions reduced
machv TM23_b-1 with tape symbol exponents
machv TM23_b-m as 2-macro machine
machv TM23_b-a as 2-macro machine with pure additive config-TRs
iam TM23_b-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:34 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