TM #8 from MaBu90-Paper

Comment: Example for "greater config"

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 C0R B1L 0 right C 1 left B
C H1L A1R 1 left H 1 right A
Transition table
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  <A
     1    -1  <B 1
     2     0  C> 1
     3     1  1 A>
     4     0  1 <B 1
     5    -1  <B 1 1
     6     0  C> 1 1
     7     1  1 A> 1
     8     2  1 1 A>
     9     1  1 1 <B 1
+   11    -1  <B 13
    12     0  C> 13
    13     1  1 A> 1 1
+   15     3  13 A>
    16     2  13 <B 1
+   19    -1  <B 14
    20     0  C> 14
    21     1  1 A> 13
+   24     4  14 A>
    25     3  14 <B 1
+   29    -1  <B 15
    30     0  C> 15
    31     1  1 A> 14
+   35     5  15 A>
    36     4  15 <B 1
+   41    -1  <B 16
    42     0  C> 16
    43     1  1 A> 15
+   48     6  16 A>
    49     5  16 <B 1
+   55    -1  <B 17
    56     0  C> 17
    57     1  1 A> 16
+   63     7  17 A>
    64     6  17 <B 1
+   71    -1  <B 18
    72     0  C> 18
    73     1  1 A> 17
+   80     8  18 A>
    81     7  18 <B 1
+   89    -1  <B 19
    90     0  C> 19
    91     1  1 A> 18
+   99     9  19 A>
   100     8  19 <B 1
+  109    -1  <B 110
   110     0  C> 110
   111     1  1 A> 19
+  120    10  110 A>
   121     9  110 <B 1
+  131    -1  <B 111
   132     0  C> 111
   133     1  1 A> 110
+  143    11  111 A>
   144    10  111 <B 1
+  155    -1  <B 112
   156     0  C> 112
   157     1  1 A> 111
+  168    12  112 A>
   169    11  112 <B 1
+  181    -1  <B 113
   182     0  C> 113
   183     1  1 A> 112
+  195    13  113 A>
   196    12  113 <B 1
+  209    -1  <B 114
   210     0  C> 114
   211     1  1 A> 113
+  224    14  114 A>
   225    13  114 <B 1
+  239    -1  <B 115
   240     0  C> 115
   241     1  1 A> 114
+  255    15  115 A>
   256    14  115 <B 1
+  271    -1  <B 116
   272     0  C> 116
   273     1  1 A> 115
+  288    16  116 A>
   289    15  116 <B 1
+  305    -1  <B 117
   306     0  C> 117
   307     1  1 A> 116
+  323    17  117 A>
   324    16  117 <B 1
+  341    -1  <B 118
   342     0  C> 118
   343     1  1 A> 117
+  360    18  118 A>
   361    17  118 <B 1
+  379    -1  <B 119
   380     0  C> 119
   381     1  1 A> 118
+  399    19  119 A>
   400    18  119 <B 1
+  419    -1  <B 120
   420     0  C> 120
   421     1  1 A> 119
+  440    20  120 A>
   441    19  120 <B 1
+  461    -1  <B 121
   462     0  C> 121
   463     1  1 A> 120
+  483    21  121 A>
   484    20  121 <B 1
+  505    -1  <B 122
   506     0  C> 122
   507     1  1 A> 121
+  528    22  122 A>
   529    21  122 <B 1
+  551    -1  <B 123
   552     0  C> 123
   553     1  1 A> 122
+  575    23  123 A>
   576    22  123 <B 1
+  599    -1  <B 124
   600     0  C> 124
   601     1  1 A> 123
+  624    24  124 A>
   625    23  124 <B 1
+  649    -1  <B 125
   650     0  C> 125
   651     1  1 A> 124
+  675    25  125 A>
   676    24  125 <B 1
+  701    -1  <B 126
   702     0  C> 126
   703     1  1 A> 125
+  728    26  126 A>
   729    25  126 <B 1
+  755    -1  <B 127
   756     0  C> 127
   757     1  1 A> 126
+  783    27  127 A>
   784    26  127 <B 1
+  811    -1  <B 128
   812     0  C> 128
   813     1  1 A> 127
+  840    28  128 A>
   841    27  128 <B 1
+  869    -1  <B 129
   870     0  C> 129
   871     1  1 A> 128
+  899    29  129 A>
   900    28  129 <B 1
+  929    -1  <B 130
   930     0  C> 130
   931     1  1 A> 129
+  960    30  130 A>
   961    29  130 <B 1
+  991    -1  <B 131
   992     0  C> 131
   993     1  1 A> 130
+ 1023    31  131 A>
  1024    30  131 <B 1
+ 1055    -1  <B 132
  1056     0  C> 132
  1057     1  1 A> 131
+ 1088    32  132 A>
  1089    31  132 <B 1
+ 1121    -1  <B 133
  1122     0  C> 133
  1123     1  1 A> 132
+ 1155    33  133 A>
  1156    32  133 <B 1
+ 1189    -1  <B 134
  1190     0  C> 134
  1191     1  1 A> 133
+ 1224    34  134 A>
  1225    33  134 <B 1
+ 1259    -1  <B 135
  1260     0  C> 135
  1261     1  1 A> 134
+ 1295    35  135 A>
  1296    34  135 <B 1
+ 1331    -1  <B 136
  1332     0  C> 136
  1333     1  1 A> 135
+ 1368    36  136 A>
  1369    35  136 <B 1
+ 1405    -1  <B 137
  1406     0  C> 137
  1407     1  1 A> 136
+ 1443    37  137 A>
  1444    36  137 <B 1
+ 1481    -1  <B 138
  1482     0  C> 138
  1483     1  1 A> 137
+ 1520    38  138 A>
  1521    37  138 <B 1
+ 1559    -1  <B 139
  1560     0  C> 139
  1561     1  1 A> 138
+ 1599    39  139 A>
  1600    38  139 <B 1
+ 1639    -1  <B 140
  1640     0  C> 140
  1641     1  1 A> 139
+ 1680    40  140 A>
  1681    39  140 <B 1
+ 1721    -1  <B 141

After 1721 steps (201 lines): state = B.
Produced     41 ones.
Tape index -1, scanned [-1 .. 40].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 821 41 780 0 7
B 860 40 820 1 4
C 40   40   2
Execution statistics

The same TM just simple.
The same TM with repetitions reduced.
The same TM as 1-macro machine.
The same TM as 1-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:14 CEST 2010