4-state 3-symbol #a (T.J. & S. Ligocki) 

Comment: This TM produces 15008 nonzeros in 250,096,776 steps.

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0		 on
1		 on
2		 on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
A 0RB 1RH 2LD 0 right B 1 right H 2 left D
B 2LA 2RD 2RC 2 left A 2 right D 2 right C
C 2RB 2RC 1LC 2 right B 2 right C 1 left C
D 2LA 1RB 2LC 2 left A 1 right B 2 left C
Transition table 
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1     1  B>
     2     0  <A 2
     3     1  B> 2
     4     2  2 C>
     5     3  2 2 B>
     6     2  2 2 <A 2
     7     1  2 <D 2 2
     8     0  <C 23
     9     1  2 B> 23
    10     2  2 2 C> 2 2
    11     1  2 2 <C 1 2
+   13    -1  <C 13 2
    14     0  2 B> 13 2
    15     1  2 2 D> 1 1 2
    16     2  2 2 1 B> 1 2
    17     3  2 2 1 2 D> 2
    18     2  2 2 1 2 <C 2
    19     1  2 2 1 <C 1 2
    20     2  23 C> 1 2
    21     3  24 C> 2
    22     2  24 <C 1
+   26    -2  <C 15
    27    -1  2 B> 15
    28     0  2 2 D> 14
    29     1  2 2 1 B> 13
    30     2  2 2 1 2 D> 1 1
    31     3  2 2 1 2 1 B> 1
    32     4  2 2 1 2 1 2 D>
    33     3  2 2 1 2 1 2 <A 2
    34     2  2 2 1 2 1 <D 2 2
    35     3  2 2 1 2 1 B> 2 2
    36     4  2 2 1 2 1 2 C> 2
    37     3  2 2 1 2 1 2 <C 1
    38     2  2 2 1 2 1 <C 1 1
    39     3  2 2 1 2 2 C> 1 1
+   41     5  2 2 1 24 C>
    42     6  2 2 1 25 B>
    43     5  2 2 1 25 <A 2
    44     4  2 2 1 24 <D 2 2
    45     3  2 2 1 23 <C 23
+   48     0  2 2 1 <C 13 23
    49     1  23 C> 13 23
+   52     4  26 C> 23
    53     3  26 <C 1 2 2
+   59    -3  <C 17 2 2
    60    -2  2 B> 17 2 2
    61    -1  2 2 D> 16 2 2
    62     0  2 2 1 B> 15 2 2
    63     1  2 2 1 2 D> 14 2 2
    64     2  2 2 1 2 1 B> 13 2 2
    65     3  2 2 1 2 1 2 D> 1 1 2 2
    66     4  2 2 1 2 1 2 1 B> 1 2 2
    67     5  2 2 1 2 1 2 1 2 D> 2 2
    68     4  2 2 1 2 1 2 1 2 <C 2 2
    69     3  2 2 1 2 1 2 1 <C 1 2 2
    70     4  2 2 1 2 1 2 2 C> 1 2 2
    71     5  2 2 1 2 1 23 C> 2 2
    72     4  2 2 1 2 1 23 <C 1 2
+   75     1  2 2 1 2 1 <C 14 2
    76     2  2 2 1 2 2 C> 14 2
+   80     6  2 2 1 26 C> 2
    81     5  2 2 1 26 <C 1
+   87    -1  2 2 1 <C 17
    88     0  23 C> 17
+   95     7  210 C>
    96     8  211 B>
    97     7  211 <A 2
    98     6  210 <D 2 2
    99     5  29 <C 23
+  108    -4  <C 19 23
   109    -3  2 B> 19 23
   110    -2  2 2 D> 18 23
   111    -1  2 2 1 B> 17 23
   112     0  2 2 1 2 D> 16 23
   113     1  2 2 1 2 1 B> 15 23
   114     2  2 2 1 2 1 2 D> 14 23
   115     3  2 2 1 2 1 2 1 B> 13 23
   116     4  2 2 1 2 1 2 1 2 D> 1 1 23
   117     5  2 2 1 2 1 2 1 2 1 B> 1 23
   118     6  2 2 1 2 1 2 1 2 1 2 D> 23
   119     5  2 2 1 2 1 2 1 2 1 2 <C 23
   120     4  2 2 1 2 1 2 1 2 1 <C 1 23
   121     5  2 2 1 2 1 2 1 2 2 C> 1 23
   122     6  2 2 1 2 1 2 1 23 C> 23
   123     5  2 2 1 2 1 2 1 23 <C 1 2 2
+  126     2  2 2 1 2 1 2 1 <C 14 2 2
   127     3  2 2 1 2 1 2 2 C> 14 2 2
+  131     7  2 2 1 2 1 26 C> 2 2
   132     6  2 2 1 2 1 26 <C 1 2
+  138     0  2 2 1 2 1 <C 17 2
   139     1  2 2 1 2 2 C> 17 2
+  146     8  2 2 1 29 C> 2
   147     7  2 2 1 29 <C 1
+  156    -2  2 2 1 <C 110
   157    -1  23 C> 110
+  167     9  213 C>
   168    10  214 B>
   169     9  214 <A 2
   170     8  213 <D 2 2
   171     7  212 <C 23
+  183    -5  <C 112 23
   184    -4  2 B> 112 23
   185    -3  2 2 D> 111 23
   186    -2  2 2 1 B> 110 23
   187    -1  2 2 1 2 D> 19 23
   188     0  2 2 1 2 1 B> 18 23
   189     1  2 2 1 2 1 2 D> 17 23
   190     2  2 2 1 2 1 2 1 B> 16 23
   191     3  2 2 1 2 1 2 1 2 D> 15 23
   192     4  2 2 1 2 1 2 1 2 1 B> 14 23
   193     5  2 2 1 2 1 2 1 2 1 2 D> 13 23
   194     6  2 2 1 2 1 2 1 2 1 2 1 B> 1 1 23
   195     7  2 2 1 2 1 2 1 2 1 2 1 2 D> 1 23
   196     8  2 2 1 2 1 2 1 2 1 2 1 2 1 B> 23
   197     9  2 2 1 2 1 2 1 2 1 2 1 2 1 2 C> 2 2
   198     8  2 2 1 2 1 2 1 2 1 2 1 2 1 2 <C 1 2
   199     7  2 2 1 2 1 2 1 2 1 2 1 2 1 <C 1 1 2
   200     8  2 2 1 2 1 2 1 2 1 2 1 2 2 C> 1 1 2
+  202    10  2 2 1 2 1 2 1 2 1 2 1 24 C> 2
   203     9  2 2 1 2 1 2 1 2 1 2 1 24 <C 1
+  207     5  2 2 1 2 1 2 1 2 1 2 1 <C 15
   208     6  2 2 1 2 1 2 1 2 1 2 2 C> 15
+  213    11  2 2 1 2 1 2 1 2 1 27 C>
   214    12  2 2 1 2 1 2 1 2 1 28 B>
   215    11  2 2 1 2 1 2 1 2 1 28 <A 2
   216    10  2 2 1 2 1 2 1 2 1 27 <D 2 2
   217     9  2 2 1 2 1 2 1 2 1 26 <C 23
+  223     3  2 2 1 2 1 2 1 2 1 <C 16 23
   224     4  2 2 1 2 1 2 1 2 2 C> 16 23
+  230    10  2 2 1 2 1 2 1 28 C> 23
   231     9  2 2 1 2 1 2 1 28 <C 1 2 2
+  239     1  2 2 1 2 1 2 1 <C 19 2 2
   240     2  2 2 1 2 1 2 2 C> 19 2 2
+  249    11  2 2 1 2 1 211 C> 2 2
   250    10  2 2 1 2 1 211 <C 1 2
+  261    -1  2 2 1 2 1 <C 112 2
   262     0  2 2 1 2 2 C> 112 2
+  274    12  2 2 1 214 C> 2
   275    11  2 2 1 214 <C 1
+  289    -3  2 2 1 <C 115
   290    -2  23 C> 115
+  305    13  218 C>
   306    14  219 B>
   307    13  219 <A 2
   308    12  218 <D 2 2
   309    11  217 <C 23
+  326    -6  <C 117 23
   327    -5  2 B> 117 23
   328    -4  2 2 D> 116 23
   329    -3  2 2 1 B> 115 23
   330    -2  2 2 1 2 D> 114 23
   331    -1  2 2 1 2 1 B> 113 23
   332     0  2 2 1 2 1 2 D> 112 23
   333     1  2 2 1 2 1 2 1 B> 111 23
   334     2  2 2 1 2 1 2 1 2 D> 110 23
   335     3  2 2 1 2 1 2 1 2 1 B> 19 23
   336     4  2 2 1 2 1 2 1 2 1 2 D> 18 23
   337     5  2 2 1 2 1 2 1 2 1 2 1 B> 17 23
   338     6  2 2 1 2 1 2 1 2 1 2 1 2 D> 16 23
   339     7  2 2 1 2 1 2 1 2 1 2 1 2 1 B> 15 23
   340     8  2 2 1 2 1 2 1 2 1 2 1 2 1 2 D> 14 23
   341     9  2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 B> 13 23
   342    10  2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 D> 1 1 23
   343    11  2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 B> 1 23
   344    12  2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 D> 23
   345    11  2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 <C 23
   346    10  2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 <C 1 23
   347    11  2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 2 C> 1 23
   348    12  2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 23 C> 23
   349    11  2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 23 <C 1 2 2
+  352     8  2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 <C 14 2 2
   353     9  2 2 1 2 1 2 1 2 1 2 1 2 1 2 2 C> 14 2 2
+  357    13  2 2 1 2 1 2 1 2 1 2 1 2 1 26 C> 2 2
   358    12  2 2 1 2 1 2 1 2 1 2 1 2 1 26 <C 1 2
+  364     6  2 2 1 2 1 2 1 2 1 2 1 2 1 <C 17 2
   365     7  2 2 1 2 1 2 1 2 1 2 1 2 2 C> 17 2
+  372    14  2 2 1 2 1 2 1 2 1 2 1 29 C> 2
   373    13  2 2 1 2 1 2 1 2 1 2 1 29 <C 1
+  382     4  2 2 1 2 1 2 1 2 1 2 1 <C 110
   383     5  2 2 1 2 1 2 1 2 1 2 2 C> 110
+  393    15  2 2 1 2 1 2 1 2 1 212 C>
   394    16  2 2 1 2 1 2 1 2 1 213 B>
   395    15  2 2 1 2 1 2 1 2 1 213 <A 2
   396    14  2 2 1 2 1 2 1 2 1 212 <D 2 2
   397    13  2 2 1 2 1 2 1 2 1 211 <C 23
+  408     2  2 2 1 2 1 2 1 2 1 <C 111 23
   409     3  2 2 1 2 1 2 1 2 2 C> 111 23
+  420    14  2 2 1 2 1 2 1 213 C> 23
   421    13  2 2 1 2 1 2 1 213 <C 1 2 2
+  434     0  2 2 1 2 1 2 1 <C 114 2 2
   435     1  2 2 1 2 1 2 2 C> 114 2 2
+  449    15  2 2 1 2 1 216 C> 2 2
   450    14  2 2 1 2 1 216 <C 1 2
+  466    -2  2 2 1 2 1 <C 117 2
   467    -1  2 2 1 2 2 C> 117 2
+  484    16  2 2 1 219 C> 2
   485    15  2 2 1 219 <C 1
+  504    -4  2 2 1 <C 120
   505    -3  23 C> 120
+  525    17  223 C>

After 525 steps (201 lines): state = C.
Produced     23 nonzeros.
Tape index 17, scanned [-6 .. 16].
State Count Execution count First in step
on 0 on 1 on 2 on 0 on 1 on 2
A 10 2   8 0   6
B 41 8 29 4 1 14 3
C 437 14 197 226 4 19 10
D 37 1 25 11 32 15 7
Execution statistics 

The same TM just simple.

The same TM with repetitions reduced.

The same TM as 2-macro machine.

The same TM as 2-macro machine with pure additive config-TRs.

To the 
BB simulations page of Heiner Marxen.

To the busy beaver page
of Heiner Marxen.

To the 
home page of Heiner Marxen.

Tue Jul 6 22:13:58 CEST 2010