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

Comment: This TM produces 17323 nonzeros in 262,759,288 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
3		 on 0 on 1 on 2 on 3
Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 1RB 2LC 0LC 0RA 1 right B 2 left C 0 left C 0 right A
B 3LC 2RC 1LB 0RC 3 left C 2 right C 1 left B 0 right C
C 1RA 0LB 1RH 0RB 1 right A 0 left B 1 right H 0 right B
Transition table 
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 6-bck-macro machine.
The same TM as 6-bck-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1     1  1 B>
     2     0  1 <C 3
     3    -1  <B 0 3
     4    -2  <C 3 0 3
     5    -1  1 A> 3 0 3
     6     0  1 0 A> 0 3
     7     1  1 0 1 B> 3
     8     2  1 0 1 0 C>
     9     3  1 0 1 0 1 A>
    10     4  1 0 1 0 1 1 B>
    11     3  1 0 1 0 1 1 <C 3
    12     2  1 0 1 0 1 <B 0 3
    13     3  1 0 1 0 2 C> 0 3
    14     4  1 0 1 0 2 1 A> 3
    15     5  1 0 1 0 2 1 0 A>
    16     6  1 0 1 0 2 1 0 1 B>
    17     5  1 0 1 0 2 1 0 1 <C 3
    18     4  1 0 1 0 2 1 0 <B 0 3
    19     3  1 0 1 0 2 1 <C 3 0 3
    20     2  1 0 1 0 2 <B 0 3 0 3
    21     1  1 0 1 0 <B 1 0 3 0 3
    22     0  1 0 1 <C 3 1 0 3 0 3
    23    -1  1 0 <B 0 3 1 0 3 0 3
    24    -2  1 <C 3 0 3 1 0 3 0 3
    25    -3  <B 0 3 0 3 1 0 3 0 3
    26    -4  <C 3 0 3 0 3 1 0 3 0 3
    27    -3  1 A> 3 0 3 0 3 1 0 3 0 3
    28    -2  1 0 A> 0 3 0 3 1 0 3 0 3
    29    -1  1 0 1 B> 3 0 3 1 0 3 0 3
    30     0  1 0 1 0 C> 0 3 1 0 3 0 3
    31     1  1 0 1 0 1 A> 3 1 0 3 0 3
    32     2  1 0 1 0 1 0 A> 1 0 3 0 3
    33     1  1 0 1 0 1 0 <C 2 0 3 0 3
    34     2  1 0 1 0 1 1 A> 2 0 3 0 3
    35     1  1 0 1 0 1 1 <C 0 0 3 0 3
    36     0  1 0 1 0 1 <B 03 3 0 3
    37     1  1 0 1 0 2 C> 03 3 0 3
    38     2  1 0 1 0 2 1 A> 0 0 3 0 3
    39     3  1 0 1 0 2 1 1 B> 0 3 0 3
    40     2  1 0 1 0 2 1 1 <C 3 3 0 3
    41     1  1 0 1 0 2 1 <B 0 3 3 0 3
    42     2  1 0 1 0 2 2 C> 0 3 3 0 3
    43     3  1 0 1 0 2 2 1 A> 3 3 0 3
+   45     5  1 0 1 0 2 2 1 0 0 A> 0 3
    46     6  1 0 1 0 2 2 1 0 0 1 B> 3
    47     7  1 0 1 0 2 2 1 0 0 1 0 C>
    48     8  1 0 1 0 2 2 1 0 0 1 0 1 A>
    49     9  1 0 1 0 2 2 1 0 0 1 0 1 1 B>
    50     8  1 0 1 0 2 2 1 0 0 1 0 1 1 <C 3
    51     7  1 0 1 0 2 2 1 0 0 1 0 1 <B 0 3
    52     8  1 0 1 0 2 2 1 0 0 1 0 2 C> 0 3
    53     9  1 0 1 0 2 2 1 0 0 1 0 2 1 A> 3
    54    10  1 0 1 0 2 2 1 0 0 1 0 2 1 0 A>
    55    11  1 0 1 0 2 2 1 0 0 1 0 2 1 0 1 B>
    56    10  1 0 1 0 2 2 1 0 0 1 0 2 1 0 1 <C 3
    57     9  1 0 1 0 2 2 1 0 0 1 0 2 1 0 <B 0 3
    58     8  1 0 1 0 2 2 1 0 0 1 0 2 1 <C 3 0 3
    59     7  1 0 1 0 2 2 1 0 0 1 0 2 <B 0 3 0 3
    60     6  1 0 1 0 2 2 1 0 0 1 0 <B 1 0 3 0 3
    61     5  1 0 1 0 2 2 1 0 0 1 <C 3 1 0 3 0 3
    62     4  1 0 1 0 2 2 1 0 0 <B 0 3 1 0 3 0 3
    63     3  1 0 1 0 2 2 1 0 <C 3 0 3 1 0 3 0 3
    64     4  1 0 1 0 2 2 1 1 A> 3 0 3 1 0 3 0 3
    65     5  1 0 1 0 2 2 1 1 0 A> 0 3 1 0 3 0 3
    66     6  1 0 1 0 2 2 1 1 0 1 B> 3 1 0 3 0 3
    67     7  1 0 1 0 2 2 1 1 0 1 0 C> 1 0 3 0 3
    68     6  1 0 1 0 2 2 1 1 0 1 0 <B 0 0 3 0 3
    69     5  1 0 1 0 2 2 1 1 0 1 <C 3 0 0 3 0 3
    70     4  1 0 1 0 2 2 1 1 0 <B 0 3 0 0 3 0 3
    71     3  1 0 1 0 2 2 1 1 <C 3 0 3 0 0 3 0 3
    72     2  1 0 1 0 2 2 1 <B 0 3 0 3 0 0 3 0 3
    73     3  1 0 1 0 23 C> 0 3 0 3 0 0 3 0 3
    74     4  1 0 1 0 23 1 A> 3 0 3 0 0 3 0 3
    75     5  1 0 1 0 23 1 0 A> 0 3 0 0 3 0 3
    76     6  1 0 1 0 23 1 0 1 B> 3 0 0 3 0 3
    77     7  1 0 1 0 23 1 0 1 0 C> 0 0 3 0 3
    78     8  1 0 1 0 23 1 0 1 0 1 A> 0 3 0 3
    79     9  1 0 1 0 23 1 0 1 0 1 1 B> 3 0 3
    80    10  1 0 1 0 23 1 0 1 0 1 1 0 C> 0 3
    81    11  1 0 1 0 23 1 0 1 0 1 1 0 1 A> 3
    82    12  1 0 1 0 23 1 0 1 0 1 1 0 1 0 A>
    83    13  1 0 1 0 23 1 0 1 0 1 1 0 1 0 1 B>
    84    12  1 0 1 0 23 1 0 1 0 1 1 0 1 0 1 <C 3
    85    11  1 0 1 0 23 1 0 1 0 1 1 0 1 0 <B 0 3
    86    10  1 0 1 0 23 1 0 1 0 1 1 0 1 <C 3 0 3
    87     9  1 0 1 0 23 1 0 1 0 1 1 0 <B 0 3 0 3
    88     8  1 0 1 0 23 1 0 1 0 1 1 <C 3 0 3 0 3
    89     7  1 0 1 0 23 1 0 1 0 1 <B 0 3 0 3 0 3
    90     8  1 0 1 0 23 1 0 1 0 2 C> 0 3 0 3 0 3
    91     9  1 0 1 0 23 1 0 1 0 2 1 A> 3 0 3 0 3
    92    10  1 0 1 0 23 1 0 1 0 2 1 0 A> 0 3 0 3
    93    11  1 0 1 0 23 1 0 1 0 2 1 0 1 B> 3 0 3
    94    12  1 0 1 0 23 1 0 1 0 2 1 0 1 0 C> 0 3
    95    13  1 0 1 0 23 1 0 1 0 2 1 0 1 0 1 A> 3
    96    14  1 0 1 0 23 1 0 1 0 2 1 0 1 0 1 0 A>
    97    15  1 0 1 0 23 1 0 1 0 2 1 0 1 0 1 0 1 B>
    98    14  1 0 1 0 23 1 0 1 0 2 1 0 1 0 1 0 1 <C 3
    99    13  1 0 1 0 23 1 0 1 0 2 1 0 1 0 1 0 <B 0 3
   100    12  1 0 1 0 23 1 0 1 0 2 1 0 1 0 1 <C 3 0 3
   101    11  1 0 1 0 23 1 0 1 0 2 1 0 1 0 <B 0 3 0 3
   102    10  1 0 1 0 23 1 0 1 0 2 1 0 1 <C 3 0 3 0 3
   103     9  1 0 1 0 23 1 0 1 0 2 1 0 <B 0 3 0 3 0 3
   104     8  1 0 1 0 23 1 0 1 0 2 1 <C 3 0 3 0 3 0 3
   105     7  1 0 1 0 23 1 0 1 0 2 <B 0 3 0 3 0 3 0 3
   106     6  1 0 1 0 23 1 0 1 0 <B 1 0 3 0 3 0 3 0 3
   107     5  1 0 1 0 23 1 0 1 <C 3 1 0 3 0 3 0 3 0 3
   108     4  1 0 1 0 23 1 0 <B 0 3 1 0 3 0 3 0 3 0 3
   109     3  1 0 1 0 23 1 <C 3 0 3 1 0 3 0 3 0 3 0 3
   110     2  1 0 1 0 23 <B 0 3 0 3 1 0 3 0 3 0 3 0 3
+  113    -1  1 0 1 0 <B 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   114    -2  1 0 1 <C 3 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   115    -3  1 0 <B 0 3 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   116    -4  1 <C 3 0 3 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   117    -5  <B 0 3 0 3 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   118    -6  <C 3 0 3 0 3 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   119    -5  1 A> 3 0 3 0 3 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   120    -4  1 0 A> 0 3 0 3 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   121    -3  1 0 1 B> 3 0 3 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   122    -2  1 0 1 0 C> 0 3 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   123    -1  1 0 1 0 1 A> 3 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   124     0  1 0 1 0 1 0 A> 13 0 3 0 3 1 0 3 0 3 0 3 0 3
   125    -1  1 0 1 0 1 0 <C 2 1 1 0 3 0 3 1 0 3 0 3 0 3 0 3
   126     0  1 0 1 0 1 1 A> 2 1 1 0 3 0 3 1 0 3 0 3 0 3 0 3
   127    -1  1 0 1 0 1 1 <C 0 1 1 0 3 0 3 1 0 3 0 3 0 3 0 3
   128    -2  1 0 1 0 1 <B 0 0 1 1 0 3 0 3 1 0 3 0 3 0 3 0 3
   129    -1  1 0 1 0 2 C> 0 0 1 1 0 3 0 3 1 0 3 0 3 0 3 0 3
   130     0  1 0 1 0 2 1 A> 0 1 1 0 3 0 3 1 0 3 0 3 0 3 0 3
   131     1  1 0 1 0 2 1 1 B> 1 1 0 3 0 3 1 0 3 0 3 0 3 0 3
   132     2  1 0 1 0 2 1 1 2 C> 1 0 3 0 3 1 0 3 0 3 0 3 0 3
   133     1  1 0 1 0 2 1 1 2 <B 0 0 3 0 3 1 0 3 0 3 0 3 0 3
   134     0  1 0 1 0 2 1 1 <B 1 0 0 3 0 3 1 0 3 0 3 0 3 0 3
   135     1  1 0 1 0 2 1 2 C> 1 0 0 3 0 3 1 0 3 0 3 0 3 0 3
   136     0  1 0 1 0 2 1 2 <B 03 3 0 3 1 0 3 0 3 0 3 0 3
   137    -1  1 0 1 0 2 1 <B 1 03 3 0 3 1 0 3 0 3 0 3 0 3
   138     0  1 0 1 0 2 2 C> 1 03 3 0 3 1 0 3 0 3 0 3 0 3
   139    -1  1 0 1 0 2 2 <B 04 3 0 3 1 0 3 0 3 0 3 0 3
+  141    -3  1 0 1 0 <B 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   142    -4  1 0 1 <C 3 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   143    -5  1 0 <B 0 3 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   144    -6  1 <C 3 0 3 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   145    -7  <B 0 3 0 3 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   146    -8  <C 3 0 3 0 3 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   147    -7  1 A> 3 0 3 0 3 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   148    -6  1 0 A> 0 3 0 3 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   149    -5  1 0 1 B> 3 0 3 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   150    -4  1 0 1 0 C> 0 3 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   151    -3  1 0 1 0 1 A> 3 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   152    -2  1 0 1 0 1 0 A> 1 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   153    -3  1 0 1 0 1 0 <C 2 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   154    -2  1 0 1 0 1 1 A> 2 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   155    -3  1 0 1 0 1 1 <C 0 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   156    -4  1 0 1 0 1 <B 0 0 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   157    -3  1 0 1 0 2 C> 0 0 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   158    -2  1 0 1 0 2 1 A> 0 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   159    -1  1 0 1 0 2 1 1 B> 1 04 3 0 3 1 0 3 0 3 0 3 0 3
   160     0  1 0 1 0 2 1 1 2 C> 04 3 0 3 1 0 3 0 3 0 3 0 3
   161     1  1 0 1 0 2 1 1 2 1 A> 03 3 0 3 1 0 3 0 3 0 3 0 3
   162     2  1 0 1 0 2 1 1 2 1 1 B> 0 0 3 0 3 1 0 3 0 3 0 3 0 3
   163     1  1 0 1 0 2 1 1 2 1 1 <C 3 0 3 0 3 1 0 3 0 3 0 3 0 3
   164     0  1 0 1 0 2 1 1 2 1 <B 0 3 0 3 0 3 1 0 3 0 3 0 3 0 3
   165     1  1 0 1 0 2 1 1 2 2 C> 0 3 0 3 0 3 1 0 3 0 3 0 3 0 3
   166     2  1 0 1 0 2 1 1 2 2 1 A> 3 0 3 0 3 1 0 3 0 3 0 3 0 3
   167     3  1 0 1 0 2 1 1 2 2 1 0 A> 0 3 0 3 1 0 3 0 3 0 3 0 3
   168     4  1 0 1 0 2 1 1 2 2 1 0 1 B> 3 0 3 1 0 3 0 3 0 3 0 3
   169     5  1 0 1 0 2 1 1 2 2 1 0 1 0 C> 0 3 1 0 3 0 3 0 3 0 3
   170     6  1 0 1 0 2 1 1 2 2 1 0 1 0 1 A> 3 1 0 3 0 3 0 3 0 3
   171     7  1 0 1 0 2 1 1 2 2 1 0 1 0 1 0 A> 1 0 3 0 3 0 3 0 3
   172     6  1 0 1 0 2 1 1 2 2 1 0 1 0 1 0 <C 2 0 3 0 3 0 3 0 3
   173     7  1 0 1 0 2 1 1 2 2 1 0 1 0 1 1 A> 2 0 3 0 3 0 3 0 3
   174     6  1 0 1 0 2 1 1 2 2 1 0 1 0 1 1 <C 0 0 3 0 3 0 3 0 3
   175     5  1 0 1 0 2 1 1 2 2 1 0 1 0 1 <B 03 3 0 3 0 3 0 3
   176     6  1 0 1 0 2 1 1 2 2 1 0 1 0 2 C> 03 3 0 3 0 3 0 3
   177     7  1 0 1 0 2 1 1 2 2 1 0 1 0 2 1 A> 0 0 3 0 3 0 3 0 3
   178     8  1 0 1 0 2 1 1 2 2 1 0 1 0 2 1 1 B> 0 3 0 3 0 3 0 3
   179     7  1 0 1 0 2 1 1 2 2 1 0 1 0 2 1 1 <C 3 3 0 3 0 3 0 3
   180     6  1 0 1 0 2 1 1 2 2 1 0 1 0 2 1 <B 0 3 3 0 3 0 3 0 3
   181     7  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 C> 0 3 3 0 3 0 3 0 3
   182     8  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 A> 3 3 0 3 0 3 0 3
+  184    10  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 A> 0 3 0 3 0 3
   185    11  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 B> 3 0 3 0 3
   186    12  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 C> 0 3 0 3
   187    13  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 A> 3 0 3
   188    14  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 A> 0 3
   189    15  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 B> 3
   190    16  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 C>
   191    17  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 1 A>
   192    18  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 1 1 B>
   193    17  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 1 1 <C 3
   194    16  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 1 <B 0 3
   195    17  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 2 C> 0 3
   196    18  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 2 1 A> 3
   197    19  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 2 1 0 A>
   198    20  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 2 1 0 1 B>
   199    19  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 2 1 0 1 <C 3
   200    18  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 2 1 0 <B 0 3
   201    17  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 2 1 <C 3 0 3
   202    16  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 2 <B 0 3 0 3
   203    15  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 0 <B 1 0 3 0 3
   204    14  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 1 <C 3 1 0 3 0 3
   205    13  1 0 1 0 2 1 1 2 2 1 0 1 0 2 2 1 0 0 1 0 1 0 <B 0 3 1 0 3 0 3

After 205 steps (201 lines): state = B.
Produced     18 nonzeros.
Tape index 13, scanned [-8 .. 20].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 0 on 1 on 2 on 3
A 56 26 4 4 22 0 32 34 5
B 76 37 16 11 12 1 12 20 7
C 73 33 40     4 2    
Execution statistics 

The same TM just simple.

The same TM with repetitions reduced.

The same TM as 6-bck-macro machine.

The same TM as 6-bck-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:30 CEST 2010