Comment: Taken (cited) from P.Michel Comment: This TM produces 9 nonzeros in 38 steps.
State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | Move | Goto | |||||||
A | 1RB | 2LB | 1RH | 1 | right | B | 2 | left | B | 1 | right | H |
B | 2LA | 2RB | 1LB | 2 | left | A | 2 | right | B | 1 | left | B |
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 22 2 8 0 22 B> 22 3 9 -1 22 <B 12 4 11 -3 <B 11 12 5 16 -2 22 B> 11 12 6 18 0 222 B> 12 7 21 -1 222 <B 11 8 25 -5 <B 113 9 30 -4 22 B> 113 10 36 2 224 B> 11 37 1 224 <A 20 12 38 2 223 21 H> 20 12 38 2 223 21 H> 20 [stop] Lines: 14 Top steps: 12 Macro steps: 12 Basic steps: 38 Tape index: 2 nonzeros: 9 log10(nonzeros): 0.954 log10(steps ): 1.580 Run state: stop
Input to awk program: gohalt 1 nbs 3 T 2-state 3-symbol currently best (by Brady / Michel) C Taken (cited) from P.Michel : 9 38 5T 1RB 2LB 1RH 2LA 2RB 1LB L 6 M 201 pref sim machv TM23_cb just simple machv TM23_cb-r with repetitions reduced machv TM23_cb-1 with tape symbol exponents machv TM23_cb-m as 2-macro machine machv TM23_cb-a as 2-macro machine with pure additive config-TRs iam TM23_cb-m mtype 2 mmtyp 1 r 1 H 1 mac 0 E 2 sympr HM 1 date Tue Jul 6 22:12:34 CEST 2010 edate Tue Jul 6 22:12:34 CEST 2010 bnspeed 1Start: Tue Jul 6 22:12:34 CEST 2010
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;