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.
Simulation is done with repetitions reduced.
The same TM 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 St Tape contents
     0    0 A . . . . . . . . . . 0
     1   -1 B . . . . . . . . . .01
     2    0 A . . . . . . . . . .01
     3    1 A . . . . . . . . . .010
     4    0 B . . . . . . . . . .011
     5   -1 C . . . . . . . . . .001
+    7    1 C . . . . . . . . . .001   by C/0 * 2
     8    0 D . . . . . . . . . .001
     9   -1 E . . . . . . . . . .011
    10   -2 B . . . . . . . . . 0011
    11   -1 A . . . . . . . . . 0011
    12   -2 B . . . . . . . . . 0111
    13   -1 A . . . . . . . . . 0111
+   16    2 A . . . . . . . . . 01110   by A/1 * 3
    17    1 B . . . . . . . . . 01111
    18    0 C . . . . . . . . . 01101
    19   -1 D . . . . . . . . . 01101
    20    0 A . . . . . . . . . 00101
    21    1 A . . . . . . . . . 00101
    22    0 B . . . . . . . . . 00111
    23   -1 C . . . . . . . . . 00011
+   25    1 C . . . . . . . . . 00011  by C/0 * 2
    26    0 D . . . . . . . . . 00011
    27   -1 E . . . . . . . . . 00111
    28   -2 B . . . . . . . . . 00111
    29   -1 A . . . . . . . . . 00111
    30   -2 B . . . . . . . . . 01111
    31   -1 A . . . . . . . . . 01111
+   35    3 A . . . . . . . . . 011110  by A/1 * 4
    36    2 B . . . . . . . . . 011111
    37    1 C . . . . . . . . . 011101
    38    0 D . . . . . . . . . 011101
    39    1 A . . . . . . . . . 010101
    40    2 A . . . . . . . . . 010101
    41    1 B . . . . . . . . . 010111
    42    0 C . . . . . . . . . 010011
+   44    2 C . . . . . . . . . 010011   by C/0 * 2
    45    1 D . . . . . . . . . 010011
    46    0 E . . . . . . . . . 010111
    47   -1 B . . . . . . . . . 010111
    48   -2 C . . . . . . . . . 000111
+   51    1 C . . . . . . . . . 000111   by C/0 * 3
    52    0 D . . . . . . . . . 000111
    53   -1 E . . . . . . . . . 001111
    54   -2 B . . . . . . . . . 001111
    55   -1 A . . . . . . . . . 001111
    56   -2 B . . . . . . . . . 011111
    57   -1 A . . . . . . . . . 011111
+   62    4 A . . . . . . . . . 0111110   by A/1 * 5
    63    3 B . . . . . . . . . 0111111
    64    2 C . . . . . . . . . 0111101
    65    1 D . . . . . . . . . 0111101
    66    2 A . . . . . . . . . 0110101
    67    3 A . . . . . . . . . 0110101
    68    2 B . . . . . . . . . 0110111
    69    1 C . . . . . . . . . 0110011
+   71    3 C . . . . . . . . . 0110011  by C/0 * 2
    72    2 D . . . . . . . . . 0110011
    73    1 E . . . . . . . . . 0110111
    74    0 B . . . . . . . . . 0110111
    75   -1 C . . . . . . . . . 0100111
    76   -2 D . . . . . . . . . 0100111
    77   -3 E . . . . . . . . .01100111
    78   -4 B . . . . . . . . 001100111
    79   -3 A . . . . . . . . 001100111
    80   -4 B . . . . . . . . 011100111
    81   -3 A . . . . . . . . 011100111
+   84    0 A . . . . . . . . 011100111  by A/1 * 3
    85   -1 B . . . . . . . . 011110111
    86   -2 C . . . . . . . . 011010111
    87   -3 D . . . . . . . . 011010111
    88   -2 A . . . . . . . . 001010111
    89   -1 A . . . . . . . . 001010111
    90   -2 B . . . . . . . . 001110111
    91   -3 C . . . . . . . . 000110111
+   93   -1 C . . . . . . . . 000110111  by C/0 * 2
    94   -2 D . . . . . . . . 000110111
    95   -3 E . . . . . . . . 001110111
    96   -4 B . . . . . . . . 001110111
    97   -3 A . . . . . . . . 001110111
    98   -4 B . . . . . . . . 011110111
    99   -3 A . . . . . . . . 011110111
+  103    1 A . . . . . . . . 011110111  by A/1 * 4
   104    0 B . . . . . . . . 011111111
   105   -1 C . . . . . . . . 011101111
   106   -2 D . . . . . . . . 011101111
   107   -1 A . . . . . . . . 010101111
   108    0 A . . . . . . . . 010101111
   109   -1 B . . . . . . . . 010111111
   110   -2 C . . . . . . . . 010011111
+  112    0 C . . . . . . . . 010011111  by C/0 * 2
   113   -1 D . . . . . . . . 010011111
   114   -2 E . . . . . . . . 010111111
   115   -3 B . . . . . . . . 010111111
   116   -4 C . . . . . . . . 000111111
+  119   -1 C . . . . . . . . 000111111  by C/0 * 3
   120   -2 D . . . . . . . . 000111111
   121   -3 E . . . . . . . . 001111111
   122   -4 B . . . . . . . . 001111111
   123   -3 A . . . . . . . . 001111111
   124   -4 B . . . . . . . . 011111111
   125   -3 A . . . . . . . . 011111111
+  133    5 A . . . . . . . . 0111111110  by A/1 * 8
   134    4 B . . . . . . . . 0111111111
   135    3 C . . . . . . . . 0111111101
   136    2 D . . . . . . . . 0111111101
   137    3 A . . . . . . . . 0111110101
   138    4 A . . . . . . . . 0111110101
   139    3 B . . . . . . . . 0111110111
   140    2 C . . . . . . . . 0111110011
+  142    4 C . . . . . . . . 0111110011   by C/0 * 2
   143    3 D . . . . . . . . 0111110011
   144    2 E . . . . . . . . 0111110111
   145    1 B . . . . . . . . 0111110111
   146    0 C . . . . . . . . 0111100111
   147   -1 D . . . . . . . . 0111100111
   148    0 A . . . . . . . . 0110100111
   149    1 A . . . . . . . . 0110100111
   150    0 B . . . . . . . . 0110110111
   151   -1 C . . . . . . . . 0110010111
+  153    1 C . . . . . . . . 0110010111   by C/0 * 2
   154    0 D . . . . . . . . 0110010111
   155   -1 E . . . . . . . . 0110110111
   156   -2 B . . . . . . . . 0110110111
   157   -3 C . . . . . . . . 0100110111
   158   -4 D . . . . . . . . 0100110111
   159   -5 E . . . . . . . .01100110111
   160   -6 B . . . . . . . 001100110111
   161   -5 A . . . . . . . 001100110111
   162   -6 B . . . . . . . 011100110111
   163   -5 A . . . . . . . 011100110111
+  166   -2 A . . . . . . . 011100110111   by A/1 * 3
   167   -3 B . . . . . . . 011110110111
   168   -4 C . . . . . . . 011010110111
   169   -5 D . . . . . . . 011010110111
   170   -4 A . . . . . . . 001010110111
   171   -3 A . . . . . . . 001010110111
   172   -4 B . . . . . . . 001110110111
   173   -5 C . . . . . . . 000110110111
+  175   -3 C . . . . . . . 000110110111   by C/0 * 2
   176   -4 D . . . . . . . 000110110111
   177   -5 E . . . . . . . 001110110111
   178   -6 B . . . . . . . 001110110111
   179   -5 A . . . . . . . 001110110111
   180   -6 B . . . . . . . 011110110111
   181   -5 A . . . . . . . 011110110111
+  185   -1 A . . . . . . . 011110110111   by A/1 * 4
   186   -2 B . . . . . . . 011111110111
   187   -3 C . . . . . . . 011101110111
   188   -4 D . . . . . . . 011101110111
   189   -3 A . . . . . . . 010101110111
   190   -2 A . . . . . . . 010101110111
   191   -3 B . . . . . . . 010111110111
   192   -4 C . . . . . . . 010011110111
+  194   -2 C . . . . . . . 010011110111   by C/0 * 2
   195   -3 D . . . . . . . 010011110111
   196   -4 E . . . . . . . 010111110111
   197   -5 B . . . . . . . 010111110111
   198   -6 C . . . . . . . 000111110111
+  201   -3 C . . . . . . . 000111110111   by C/0 * 3
   202   -4 D . . . . . . . 000111110111
   203   -5 E . . . . . . . 001111110111
   204   -6 B . . . . . . . 001111110111
   205   -5 A . . . . . . . 001111110111
   206   -6 B . . . . . . . 011111110111
   207   -5 A . . . . . . . 011111110111
+  214    2 A . . . . . . . 011111110111   by A/1 * 7
   215    1 B . . . . . . . 011111111111
   216    0 C . . . . . . . 011111101111
   217   -1 D . . . . . . . 011111101111
   218    0 A . . . . . . . 011110101111
   219    1 A . . . . . . . 011110101111
   220    0 B . . . . . . . 011110111111
   221   -1 C . . . . . . . 011110011111
+  223    1 C . . . . . . . 011110011111   by C/0 * 2
   224    0 D . . . . . . . 011110011111
   225   -1 E . . . . . . . 011110111111
   226   -2 B . . . . . . . 011110111111
   227   -3 C . . . . . . . 011100111111
   228   -4 D . . . . . . . 011100111111
   229   -3 A . . . . . . . 010100111111
   230   -2 A . . . . . . . 010100111111
   231   -3 B . . . . . . . 010110111111
   232   -4 C . . . . . . . 010010111111
+  234   -2 C . . . . . . . 010010111111   by C/0 * 2
   235   -3 D . . . . . . . 010010111111
   236   -4 E . . . . . . . 010110111111
   237   -5 B . . . . . . . 010110111111
   238   -6 C . . . . . . . 000110111111
+  241   -3 C . . . . . . . 000110111111   by C/0 * 3
   242   -4 D . . . . . . . 000110111111
   243   -5 E . . . . . . . 001110111111
   244   -6 B . . . . . . . 001110111111
   245   -5 A . . . . . . . 001110111111
   246   -6 B . . . . . . . 011110111111
   247   -5 A . . . . . . . 011110111111
+  251   -1 A . . . . . . . 011110111111   by A/1 * 4
   252   -2 B . . . . . . . 011111111111
   253   -3 C . . . . . . . 011101111111
   254   -4 D . . . . . . . 011101111111
   255   -3 A . . . . . . . 010101111111

After 255 steps (201 lines): state = A.
Produced     9 ones.
Tape index -3, scanned [-6 .. 5].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 90 33 57 0 2
B 51 21 30 1 4
C 66 36 30 5 7
D 30 18 12 8 19
E 18 18   9  
Execution statistics

The same TM just simple.
The same TM 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.

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