TM #6 from MaBu90-Paper

Comment: complex counter

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1L A1R 1 left B 1 right A
B A0R C0L 0 right A 0 left C
C C0R D1L 0 right C 1 left D
D E1L A0R 1 left E 0 right A
E B0L H1L 0 left B 1 left H
Transition table
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 3-bck-bck-macro machine.
The same TM as 3-bck-bck-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1    -1  <B 1
     2     0  A> 1
     3     1  1 A>
     4     0  1 <B 1
     5    -1  <C 0 1
     6     0  C> 0 1
     7     1  C> 1
     8     0  <D 1
     9    -1  <E 1 1
    10    -2  <B 0 1 1
    11    -1  A> 0 1 1
    12    -2  <B 13
    13    -1  A> 13
+   16     2  13 A>
    17     1  13 <B 1
    18     0  1 1 <C 0 1
    19    -1  1 <D 1 0 1
    20     0  A> 1 0 1
    21     1  1 A> 0 1
    22     0  1 <B 1 1
    23    -1  <C 0 1 1
    24     0  C> 0 1 1
    25     1  C> 1 1
    26     0  <D 1 1
    27    -1  <E 13
    28    -2  <B 0 13
    29    -1  A> 0 13
    30    -2  <B 14
    31    -1  A> 14
+   35     3  14 A>
    36     2  14 <B 1
    37     1  13 <C 0 1
    38     0  1 1 <D 1 0 1
    39     1  1 0 A> 1 0 1
    40     2  1 0 1 A> 0 1
    41     1  1 0 1 <B 1 1
    42     0  1 0 <C 0 1 1
    43     1  1 0 C> 0 1 1
    44     2  1 0 0 C> 1 1
    45     1  1 0 0 <D 1 1
    46     0  1 0 <E 13
    47    -1  1 <B 0 13
    48    -2  <C 0 0 13
    49    -1  C> 0 0 13
+   51     1  C> 13
    52     0  <D 13
    53    -1  <E 14
    54    -2  <B 0 14
    55    -1  A> 0 14
    56    -2  <B 15
    57    -1  A> 15
+   62     4  15 A>
    63     3  15 <B 1
    64     2  14 <C 0 1
    65     1  13 <D 1 0 1
    66     2  1 1 0 A> 1 0 1
    67     3  1 1 0 1 A> 0 1
    68     2  1 1 0 1 <B 1 1
    69     1  1 1 0 <C 0 1 1
    70     2  1 1 0 C> 0 1 1
    71     3  1 1 0 0 C> 1 1
    72     2  1 1 0 0 <D 1 1
    73     1  1 1 0 <E 13
    74     0  1 1 <B 0 13
    75    -1  1 <C 0 0 13
    76    -2  <D 1 0 0 13
    77    -3  <E 1 1 0 0 13
    78    -4  <B 0 1 1 0 0 13
    79    -3  A> 0 1 1 0 0 13
    80    -4  <B 13 0 0 13
    81    -3  A> 13 0 0 13
+   84     0  13 A> 0 0 13
    85    -1  13 <B 1 0 13
    86    -2  1 1 <C 0 1 0 13
    87    -3  1 <D 1 0 1 0 13
    88    -2  A> 1 0 1 0 13
    89    -1  1 A> 0 1 0 13
    90    -2  1 <B 1 1 0 13
    91    -3  <C 0 1 1 0 13
    92    -2  C> 0 1 1 0 13
    93    -1  C> 1 1 0 13
    94    -2  <D 1 1 0 13
    95    -3  <E 13 0 13
    96    -4  <B 0 13 0 13
    97    -3  A> 0 13 0 13
    98    -4  <B 14 0 13
    99    -3  A> 14 0 13
+  103     1  14 A> 0 13
   104     0  14 <B 14
   105    -1  13 <C 0 14
   106    -2  1 1 <D 1 0 14
   107    -1  1 0 A> 1 0 14
   108     0  1 0 1 A> 0 14
   109    -1  1 0 1 <B 15
   110    -2  1 0 <C 0 15
   111    -1  1 0 C> 0 15
   112     0  1 0 0 C> 15
   113    -1  1 0 0 <D 15
   114    -2  1 0 <E 16
   115    -3  1 <B 0 16
   116    -4  <C 0 0 16
   117    -3  C> 0 0 16
+  119    -1  C> 16
   120    -2  <D 16
   121    -3  <E 17
   122    -4  <B 0 17
   123    -3  A> 0 17
   124    -4  <B 18
   125    -3  A> 18
+  133     5  18 A>
   134     4  18 <B 1
   135     3  17 <C 0 1
   136     2  16 <D 1 0 1
   137     3  15 0 A> 1 0 1
   138     4  15 0 1 A> 0 1
   139     3  15 0 1 <B 1 1
   140     2  15 0 <C 0 1 1
   141     3  15 0 C> 0 1 1
   142     4  15 0 0 C> 1 1
   143     3  15 0 0 <D 1 1
   144     2  15 0 <E 13
   145     1  15 <B 0 13
   146     0  14 <C 0 0 13
   147    -1  13 <D 1 0 0 13
   148     0  1 1 0 A> 1 0 0 13
   149     1  1 1 0 1 A> 0 0 13
   150     0  1 1 0 1 <B 1 0 13
   151    -1  1 1 0 <C 0 1 0 13
   152     0  1 1 0 C> 0 1 0 13
   153     1  1 1 0 0 C> 1 0 13
   154     0  1 1 0 0 <D 1 0 13
   155    -1  1 1 0 <E 1 1 0 13
   156    -2  1 1 <B 0 1 1 0 13
   157    -3  1 <C 0 0 1 1 0 13
   158    -4  <D 1 0 0 1 1 0 13
   159    -5  <E 1 1 0 0 1 1 0 13
   160    -6  <B 0 1 1 0 0 1 1 0 13
   161    -5  A> 0 1 1 0 0 1 1 0 13
   162    -6  <B 13 0 0 1 1 0 13
   163    -5  A> 13 0 0 1 1 0 13
+  166    -2  13 A> 0 0 1 1 0 13
   167    -3  13 <B 1 0 1 1 0 13
   168    -4  1 1 <C 0 1 0 1 1 0 13
   169    -5  1 <D 1 0 1 0 1 1 0 13
   170    -4  A> 1 0 1 0 1 1 0 13
   171    -3  1 A> 0 1 0 1 1 0 13
   172    -4  1 <B 1 1 0 1 1 0 13
   173    -5  <C 0 1 1 0 1 1 0 13
   174    -4  C> 0 1 1 0 1 1 0 13
   175    -3  C> 1 1 0 1 1 0 13
   176    -4  <D 1 1 0 1 1 0 13
   177    -5  <E 13 0 1 1 0 13
   178    -6  <B 0 13 0 1 1 0 13
   179    -5  A> 0 13 0 1 1 0 13
   180    -6  <B 14 0 1 1 0 13
   181    -5  A> 14 0 1 1 0 13
+  185    -1  14 A> 0 1 1 0 13
   186    -2  14 <B 13 0 13
   187    -3  13 <C 0 13 0 13
   188    -4  1 1 <D 1 0 13 0 13
   189    -3  1 0 A> 1 0 13 0 13
   190    -2  1 0 1 A> 0 13 0 13
   191    -3  1 0 1 <B 14 0 13
   192    -4  1 0 <C 0 14 0 13
   193    -3  1 0 C> 0 14 0 13
   194    -2  1 0 0 C> 14 0 13
   195    -3  1 0 0 <D 14 0 13
   196    -4  1 0 <E 15 0 13
   197    -5  1 <B 0 15 0 13
   198    -6  <C 0 0 15 0 13
   199    -5  C> 0 0 15 0 13
+  201    -3  C> 15 0 13
   202    -4  <D 15 0 13
   203    -5  <E 16 0 13
   204    -6  <B 0 16 0 13
   205    -5  A> 0 16 0 13
   206    -6  <B 17 0 13
   207    -5  A> 17 0 13
+  214     2  17 A> 0 13
   215     1  17 <B 14
   216     0  16 <C 0 14
   217    -1  15 <D 1 0 14
   218     0  14 0 A> 1 0 14
   219     1  14 0 1 A> 0 14
   220     0  14 0 1 <B 15
   221    -1  14 0 <C 0 15
   222     0  14 0 C> 0 15
   223     1  14 0 0 C> 15
   224     0  14 0 0 <D 15
   225    -1  14 0 <E 16
   226    -2  14 <B 0 16
   227    -3  13 <C 0 0 16
   228    -4  1 1 <D 1 0 0 16
   229    -3  1 0 A> 1 0 0 16
   230    -2  1 0 1 A> 0 0 16
   231    -3  1 0 1 <B 1 0 16
   232    -4  1 0 <C 0 1 0 16
   233    -3  1 0 C> 0 1 0 16
   234    -2  1 0 0 C> 1 0 16
   235    -3  1 0 0 <D 1 0 16

After 235 steps (201 lines): state = D.
Produced     8 ones.
Tape index -3, scanned [-6 .. 5].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 84 31 53 0 2
B 47 19 28 1 4
C 61 33 28 5 7
D 27 16 11 8 19
E 16 16   9  
Execution statistics

The same TM just simple.
The same TM with repetitions reduced.
The same TM as 3-bck-bck-macro machine.
The same TM as 3-bck-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:10:09 CEST 2010