Comment: This TM produces 5 ones in 21 steps. Comment: Taken (cited) from P.Michel
State | on 0 |
on 1 |
on 0 | on 1 | ||||
---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | |||||
A | 1RB | 1RH | 1 | right | B | 1 | right | H |
B | 1LB | 0RC | 1 | left | B | 0 | right | C |
C | 1LC | 1LA | 1 | left | C | 1 | left | A |
The same TM just simple. The same TM with repetitions reduced. The same TM with tape symbol exponents. Simulation is done as 1-macro machine. The same TM as 1-macro machine with pure additive config-TRs. Pushing initial machine. Pushing macro factor 1. Steps BasSteps BasTpos Tape contents 0 0 0 A> 1 1 1 1 B> 2 2 0 1 <B 1 3 3 1 C> 1 4 4 0 <A 1 5 5 1 1 B> 1 6 6 2 1 0 C> 7 7 1 1 0 <C 1 8 8 0 1 <C 12 9 9 -1 <A 13 10 10 0 1 B> 13 11 11 1 1 0 C> 12 12 12 0 1 0 <A 12 13 13 1 12 B> 12 14 14 2 12 0 C> 1 15 15 1 12 0 <A 1 16 16 2 13 B> 1 17 17 3 13 0 C> 18 18 2 13 0 <C 1 19 19 1 13 <C 12 20 20 0 12 <A 13 21 21 1 12 H> 13 21 21 1 12 H> 13 [stop] Lines: 23 Top steps: 21 Macro steps: 21 Basic steps: 21 Tape index: 1 ones: 5 log10(ones ): 0.699 log10(steps ): 1.322 Run state: stop
Input to awk program: gohalt 1 T 3-state Busy Beaver (most steps) (by T.Rado) : 5 21 C Taken (cited) from P.Michel 5T 1RB 1RH 1LB 0RC 1LC 1LA L 6 M 201 pref sim machv TM32_bbS just simple machv TM32_bbS-r with repetitions reduced machv TM32_bbS-1 with tape symbol exponents machv TM32_bbS-m as 1-macro machine machv TM32_bbS-a as 1-macro machine with pure additive config-TRs iam TM32_bbS-m mtype 1 mmtyp 1 r 1 H 1 mac 0 E 2 sympr HM 1 date Tue Jul 6 22:12:32 CEST 2010 edate Tue Jul 6 22:12:32 CEST 2010 bnspeed 1Start: Tue Jul 6 22:12:32 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;