4-Tuple BB6 #1 of Machado/Pereira

Comment: This TM produces 25 ones in 255 steps.

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $

The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 1-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <1
     1     0  1 <2
     2     1  1 2>
     3     2  1 0 6>
     4     2  1 0 4> 1
     5     1  1 0 <6 1
     6     1  1 1 <4 1
     7     0  1 <6 1 1
     8    -1  <1 13
     9    -1  1 <2 13
    10     0  1 2> 13
+   13     3  14 2>
    14     4  14 0 6>
    15     4  14 0 4> 1
    16     3  14 0 <6 1
    17     3  15 <4 1
    18     2  14 <6 1 1
    19     1  13 <1 13
    20     0  1 1 <5 14
    21     0  1 0 <4 14
    22     1  1 0 5> 14
    23     1  1 0 4> 0 13
    24     2  1 0 0 5> 13
    25     2  1 0 0 4> 0 1 1
    26     3  1 03 5> 1 1
    27     3  1 03 4> 0 1
    28     4  1 04 5> 1
    29     4  1 04 4>
    30     5  1 05 5>
    31     6  1 06 3>
    32     7  1 07 2>
    33     8  1 08 6>
    34     8  1 08 4> 1
    35     7  1 08 <6 1
    36     7  1 07 1 <4 1
    37     6  1 07 <6 1 1
    38     6  1 06 1 <4 1 1
    39     5  1 06 <6 13
    40     5  1 05 1 <4 13
    41     4  1 05 <6 14
    42     4  1 04 1 <4 14
    43     3  1 04 <6 15
    44     3  1 03 1 <4 15
    45     2  1 03 <6 16
    46     2  1 0 0 1 <4 16
    47     1  1 0 0 <6 17
    48     1  1 0 1 <4 17
    49     0  1 0 <6 18
    50     0  1 1 <4 18
    51    -1  1 <6 19
    52    -2  <1 110
    53    -2  1 <2 110
    54    -1  1 2> 110
+   64     9  111 2>
    65    10  111 0 6>
    66    10  111 0 4> 1
    67     9  111 0 <6 1
    68     9  112 <4 1
    69     8  111 <6 1 1
    70     7  110 <1 13
    71     6  19 <5 14
    72     6  18 0 <4 14
    73     7  18 0 5> 14
    74     7  18 0 4> 0 13
    75     8  18 0 0 5> 13
    76     8  18 0 0 4> 0 1 1
    77     9  18 03 5> 1 1
    78     9  18 03 4> 0 1
    79    10  18 04 5> 1
    80    10  18 04 4>
    81    11  18 05 5>
    82    12  18 06 3>
    83    13  18 07 2>
    84    14  18 08 6>
    85    14  18 08 4> 1
    86    13  18 08 <6 1
    87    13  18 07 1 <4 1
    88    12  18 07 <6 1 1
    89    12  18 06 1 <4 1 1
    90    11  18 06 <6 13
    91    11  18 05 1 <4 13
    92    10  18 05 <6 14
    93    10  18 04 1 <4 14
    94     9  18 04 <6 15
    95     9  18 03 1 <4 15
    96     8  18 03 <6 16
    97     8  18 0 0 1 <4 16
    98     7  18 0 0 <6 17
    99     7  18 0 1 <4 17
   100     6  18 0 <6 18
   101     6  19 <4 18
   102     5  18 <6 19
   103     4  17 <1 110
   104     3  16 <5 111
   105     3  15 0 <4 111
   106     4  15 0 5> 111
   107     4  15 0 4> 0 110
   108     5  15 0 0 5> 110
   109     5  15 0 0 4> 0 19
   110     6  15 03 5> 19
   111     6  15 03 4> 0 18
   112     7  15 04 5> 18
   113     7  15 04 4> 0 17
   114     8  15 05 5> 17
   115     8  15 05 4> 0 16
   116     9  15 06 5> 16
   117     9  15 06 4> 0 15
   118    10  15 07 5> 15
   119    10  15 07 4> 0 14
   120    11  15 08 5> 14
   121    11  15 08 4> 0 13
   122    12  15 09 5> 13
   123    12  15 09 4> 0 1 1
   124    13  15 010 5> 1 1
   125    13  15 010 4> 0 1
   126    14  15 011 5> 1
   127    14  15 011 4>
   128    15  15 012 5>
   129    16  15 013 3>
   130    17  15 014 2>
   131    18  15 015 6>
   132    18  15 015 4> 1
   133    17  15 015 <6 1
   134    17  15 014 1 <4 1
   135    16  15 014 <6 1 1
   136    16  15 013 1 <4 1 1
   137    15  15 013 <6 13
   138    15  15 012 1 <4 13
   139    14  15 012 <6 14
   140    14  15 011 1 <4 14
   141    13  15 011 <6 15
   142    13  15 010 1 <4 15
   143    12  15 010 <6 16
   144    12  15 09 1 <4 16
   145    11  15 09 <6 17
   146    11  15 08 1 <4 17
   147    10  15 08 <6 18
   148    10  15 07 1 <4 18
   149     9  15 07 <6 19
   150     9  15 06 1 <4 19
   151     8  15 06 <6 110
   152     8  15 05 1 <4 110
   153     7  15 05 <6 111
   154     7  15 04 1 <4 111
   155     6  15 04 <6 112
   156     6  15 03 1 <4 112
   157     5  15 03 <6 113
   158     5  15 0 0 1 <4 113
   159     4  15 0 0 <6 114
   160     4  15 0 1 <4 114
   161     3  15 0 <6 115
   162     3  16 <4 115
   163     2  15 <6 116
   164     1  14 <1 117
   165     0  13 <5 118
   166     0  1 1 0 <4 118
   167     1  1 1 0 5> 118
   168     1  1 1 0 4> 0 117
   169     2  1 1 0 0 5> 117
   170     2  1 1 0 0 4> 0 116
   171     3  1 1 03 5> 116
   172     3  1 1 03 4> 0 115
   173     4  1 1 04 5> 115
   174     4  1 1 04 4> 0 114
   175     5  1 1 05 5> 114
   176     5  1 1 05 4> 0 113
   177     6  1 1 06 5> 113
   178     6  1 1 06 4> 0 112
   179     7  1 1 07 5> 112
   180     7  1 1 07 4> 0 111
   181     8  1 1 08 5> 111
   182     8  1 1 08 4> 0 110
   183     9  1 1 09 5> 110
   184     9  1 1 09 4> 0 19
   185    10  1 1 010 5> 19
   186    10  1 1 010 4> 0 18
   187    11  1 1 011 5> 18
   188    11  1 1 011 4> 0 17
   189    12  1 1 012 5> 17
   190    12  1 1 012 4> 0 16
   191    13  1 1 013 5> 16
   192    13  1 1 013 4> 0 15
   193    14  1 1 014 5> 15
   194    14  1 1 014 4> 0 14
   195    15  1 1 015 5> 14
   196    15  1 1 015 4> 0 13
   197    16  1 1 016 5> 13
   198    16  1 1 016 4> 0 1 1
   199    17  1 1 017 5> 1 1
   200    17  1 1 017 4> 0 1
   201    18  1 1 018 5> 1
   202    18  1 1 018 4>
   203    19  1 1 019 5>
   204    20  1 1 020 3>
   205    21  1 1 021 2>
   206    22  1 1 022 6>
   207    22  1 1 022 4> 1
   208    21  1 1 022 <6 1
   209    21  1 1 021 1 <4 1
   210    20  1 1 021 <6 1 1
   211    20  1 1 020 1 <4 1 1
   212    19  1 1 020 <6 13
   213    19  1 1 019 1 <4 13
   214    18  1 1 019 <6 14
   215    18  1 1 018 1 <4 14
   216    17  1 1 018 <6 15
   217    17  1 1 017 1 <4 15
   218    16  1 1 017 <6 16
   219    16  1 1 016 1 <4 16
   220    15  1 1 016 <6 17
   221    15  1 1 015 1 <4 17
   222    14  1 1 015 <6 18
   223    14  1 1 014 1 <4 18
   224    13  1 1 014 <6 19
   225    13  1 1 013 1 <4 19
   226    12  1 1 013 <6 110
   227    12  1 1 012 1 <4 110
   228    11  1 1 012 <6 111
   229    11  1 1 011 1 <4 111
   230    10  1 1 011 <6 112
   231    10  1 1 010 1 <4 112
   232     9  1 1 010 <6 113
   233     9  1 1 09 1 <4 113
   234     8  1 1 09 <6 114
   235     8  1 1 08 1 <4 114
   236     7  1 1 08 <6 115
   237     7  1 1 07 1 <4 115
   238     6  1 1 07 <6 116
   239     6  1 1 06 1 <4 116
   240     5  1 1 06 <6 117
   241     5  1 1 05 1 <4 117
   242     4  1 1 05 <6 118
   243     4  1 1 04 1 <4 118
   244     3  1 1 04 <6 119
   245     3  1 1 03 1 <4 119
   246     2  1 1 03 <6 120
   247     2  1 1 0 0 1 <4 120
   248     1  1 1 0 0 <6 121
   249     1  1 1 0 1 <4 121
   250     0  1 1 0 <6 122
   251     0  13 <4 122
   252    -1  1 1 <6 123
   253    -2  1 <1 124
   254    -3  <5 125
   255    -2  3> 125

After 255 steps (245 lines): state = 3.
Produced     25 ones.
Tape index -2, scanned [-3 .. 22].