6-state TM #q from MaBu-List

Comment: This TM produces >6.4*10^462 ones in >6.1*10^925 steps.

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 B1R B0L 1 right B 0 left B
B C0R B1L 0 right C 1 left B
C D1R A0L 1 right D 0 left A
D E1L F1L 1 left E 1 left F
E A1L D0L 1 left A 0 left D
F Z1R E1L 1 right Z 1 left E
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-macro machine.
The same TM as 3-bck-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1     1  1 B>
     2     2  1 0 C>
     3     3  1 0 1 D>
     4     2  1 0 1 <E 1
     5     1  1 0 <D 0 1
     6     0  1 <E 1 0 1
     7    -1  <D 0 1 0 1
     8    -2  <E 1 0 1 0 1
     9    -3  <A 1 1 0 1 0 1
    10    -2  1 B> 1 1 0 1 0 1
    11    -3  1 <B 1 1 0 1 0 1
    12    -4  <B 13 0 1 0 1
    13    -3  C> 13 0 1 0 1
    14    -4  <A 0 1 1 0 1 0 1
    15    -3  1 B> 0 1 1 0 1 0 1
    16    -2  1 0 C> 1 1 0 1 0 1
    17    -3  1 0 <A 0 1 0 1 0 1
    18    -2  1 1 B> 0 1 0 1 0 1
    19    -1  1 1 0 C> 1 0 1 0 1
    20    -2  1 1 0 <A 0 0 1 0 1
    21    -1  13 B> 0 0 1 0 1
    22     0  13 0 C> 0 1 0 1
    23     1  13 0 1 D> 1 0 1
    24     0  13 0 1 <F 1 0 1
    25    -1  13 0 <E 1 1 0 1
    26    -2  13 <A 13 0 1
    27    -3  1 1 <B 0 13 0 1
+   29    -5  <B 1 1 0 13 0 1
    30    -4  C> 1 1 0 13 0 1
    31    -5  <A 0 1 0 13 0 1
    32    -4  1 B> 0 1 0 13 0 1
    33    -3  1 0 C> 1 0 13 0 1
    34    -4  1 0 <A 0 0 13 0 1
    35    -3  1 1 B> 0 0 13 0 1
    36    -2  1 1 0 C> 0 13 0 1
    37    -1  1 1 0 1 D> 13 0 1
    38    -2  1 1 0 1 <F 13 0 1
    39    -3  1 1 0 <E 14 0 1
    40    -4  1 1 <A 15 0 1
    41    -5  1 <B 0 15 0 1
    42    -6  <B 1 0 15 0 1
    43    -5  C> 1 0 15 0 1
    44    -6  <A 0 0 15 0 1
    45    -5  1 B> 0 0 15 0 1
    46    -4  1 0 C> 0 15 0 1
    47    -3  1 0 1 D> 15 0 1
    48    -4  1 0 1 <F 15 0 1
    49    -5  1 0 <E 16 0 1
    50    -6  1 <A 17 0 1
    51    -7  <B 0 17 0 1
    52    -6  C> 0 17 0 1
    53    -5  1 D> 17 0 1
    54    -6  1 <F 17 0 1
    55    -7  <E 18 0 1
    56    -8  <A 19 0 1
    57    -7  1 B> 19 0 1
    58    -8  1 <B 19 0 1
    59    -9  <B 110 0 1
    60    -8  C> 110 0 1
    61    -9  <A 0 19 0 1
    62    -8  1 B> 0 19 0 1
    63    -7  1 0 C> 19 0 1
    64    -8  1 0 <A 0 18 0 1
    65    -7  1 1 B> 0 18 0 1
    66    -6  1 1 0 C> 18 0 1
    67    -7  1 1 0 <A 0 17 0 1
    68    -6  13 B> 0 17 0 1
    69    -5  13 0 C> 17 0 1
    70    -6  13 0 <A 0 16 0 1
    71    -5  14 B> 0 16 0 1
    72    -4  14 0 C> 16 0 1
    73    -5  14 0 <A 0 15 0 1
    74    -4  15 B> 0 15 0 1
    75    -3  15 0 C> 15 0 1
    76    -4  15 0 <A 0 14 0 1
    77    -3  16 B> 0 14 0 1
    78    -2  16 0 C> 14 0 1
    79    -3  16 0 <A 0 13 0 1
    80    -2  17 B> 0 13 0 1
    81    -1  17 0 C> 13 0 1
    82    -2  17 0 <A 0 1 1 0 1
    83    -1  18 B> 0 1 1 0 1
    84     0  18 0 C> 1 1 0 1
    85    -1  18 0 <A 0 1 0 1
    86     0  19 B> 0 1 0 1
    87     1  19 0 C> 1 0 1
    88     0  19 0 <A 0 0 1
    89     1  110 B> 0 0 1
    90     2  110 0 C> 0 1
    91     3  110 0 1 D> 1
    92     2  110 0 1 <F 1
    93     1  110 0 <E 1 1
    94     0  110 <A 13
    95    -1  19 <B 0 13
+  104   -10  <B 19 0 13
   105    -9  C> 19 0 13
   106   -10  <A 0 18 0 13
   107    -9  1 B> 0 18 0 13
   108    -8  1 0 C> 18 0 13
   109    -9  1 0 <A 0 17 0 13
   110    -8  1 1 B> 0 17 0 13
   111    -7  1 1 0 C> 17 0 13
   112    -8  1 1 0 <A 0 16 0 13
   113    -7  13 B> 0 16 0 13
   114    -6  13 0 C> 16 0 13
   115    -7  13 0 <A 0 15 0 13
   116    -6  14 B> 0 15 0 13
   117    -5  14 0 C> 15 0 13
   118    -6  14 0 <A 0 14 0 13
   119    -5  15 B> 0 14 0 13
   120    -4  15 0 C> 14 0 13
   121    -5  15 0 <A 0 13 0 13
   122    -4  16 B> 0 13 0 13
   123    -3  16 0 C> 13 0 13
   124    -4  16 0 <A 0 1 1 0 13
   125    -3  17 B> 0 1 1 0 13
   126    -2  17 0 C> 1 1 0 13
   127    -3  17 0 <A 0 1 0 13
   128    -2  18 B> 0 1 0 13
   129    -1  18 0 C> 1 0 13
   130    -2  18 0 <A 0 0 13
   131    -1  19 B> 0 0 13
   132     0  19 0 C> 0 13
   133     1  19 0 1 D> 13
   134     0  19 0 1 <F 13
   135    -1  19 0 <E 14
   136    -2  19 <A 15
   137    -3  18 <B 0 15
+  145   -11  <B 18 0 15
   146   -10  C> 18 0 15
   147   -11  <A 0 17 0 15
   148   -10  1 B> 0 17 0 15
   149    -9  1 0 C> 17 0 15
   150   -10  1 0 <A 0 16 0 15
   151    -9  1 1 B> 0 16 0 15
   152    -8  1 1 0 C> 16 0 15
   153    -9  1 1 0 <A 0 15 0 15
   154    -8  13 B> 0 15 0 15
   155    -7  13 0 C> 15 0 15
   156    -8  13 0 <A 0 14 0 15
   157    -7  14 B> 0 14 0 15
   158    -6  14 0 C> 14 0 15
   159    -7  14 0 <A 0 13 0 15
   160    -6  15 B> 0 13 0 15
   161    -5  15 0 C> 13 0 15
   162    -6  15 0 <A 0 1 1 0 15
   163    -5  16 B> 0 1 1 0 15
   164    -4  16 0 C> 1 1 0 15
   165    -5  16 0 <A 0 1 0 15
   166    -4  17 B> 0 1 0 15
   167    -3  17 0 C> 1 0 15
   168    -4  17 0 <A 0 0 15
   169    -3  18 B> 0 0 15
   170    -2  18 0 C> 0 15
   171    -1  18 0 1 D> 15
   172    -2  18 0 1 <F 15
   173    -3  18 0 <E 16
   174    -4  18 <A 17
   175    -5  17 <B 0 17
+  182   -12  <B 17 0 17
   183   -11  C> 17 0 17
   184   -12  <A 0 16 0 17
   185   -11  1 B> 0 16 0 17
   186   -10  1 0 C> 16 0 17
   187   -11  1 0 <A 0 15 0 17
   188   -10  1 1 B> 0 15 0 17
   189    -9  1 1 0 C> 15 0 17
   190   -10  1 1 0 <A 0 14 0 17
   191    -9  13 B> 0 14 0 17
   192    -8  13 0 C> 14 0 17
   193    -9  13 0 <A 0 13 0 17
   194    -8  14 B> 0 13 0 17
   195    -7  14 0 C> 13 0 17
   196    -8  14 0 <A 0 1 1 0 17
   197    -7  15 B> 0 1 1 0 17
   198    -6  15 0 C> 1 1 0 17
   199    -7  15 0 <A 0 1 0 17
   200    -6  16 B> 0 1 0 17
   201    -5  16 0 C> 1 0 17
   202    -6  16 0 <A 0 0 17
   203    -5  17 B> 0 0 17
   204    -4  17 0 C> 0 17
   205    -3  17 0 1 D> 17
   206    -4  17 0 1 <F 17
   207    -5  17 0 <E 18
   208    -6  17 <A 19
   209    -7  16 <B 0 19
+  215   -13  <B 16 0 19
   216   -12  C> 16 0 19
   217   -13  <A 0 15 0 19
   218   -12  1 B> 0 15 0 19
   219   -11  1 0 C> 15 0 19
   220   -12  1 0 <A 0 14 0 19
   221   -11  1 1 B> 0 14 0 19
   222   -10  1 1 0 C> 14 0 19
   223   -11  1 1 0 <A 0 13 0 19
   224   -10  13 B> 0 13 0 19
   225    -9  13 0 C> 13 0 19
   226   -10  13 0 <A 0 1 1 0 19
   227    -9  14 B> 0 1 1 0 19
   228    -8  14 0 C> 1 1 0 19
   229    -9  14 0 <A 0 1 0 19
   230    -8  15 B> 0 1 0 19
   231    -7  15 0 C> 1 0 19
   232    -8  15 0 <A 0 0 19
   233    -7  16 B> 0 0 19
   234    -6  16 0 C> 0 19
   235    -5  16 0 1 D> 19
   236    -6  16 0 1 <F 19
   237    -7  16 0 <E 110
   238    -8  16 <A 111
   239    -9  15 <B 0 111
+  244   -14  <B 15 0 111
   245   -13  C> 15 0 111
   246   -14  <A 0 14 0 111
   247   -13  1 B> 0 14 0 111
   248   -12  1 0 C> 14 0 111
   249   -13  1 0 <A 0 13 0 111
   250   -12  1 1 B> 0 13 0 111
   251   -11  1 1 0 C> 13 0 111
   252   -12  1 1 0 <A 0 1 1 0 111
   253   -11  13 B> 0 1 1 0 111
   254   -10  13 0 C> 1 1 0 111
   255   -11  13 0 <A 0 1 0 111
   256   -10  14 B> 0 1 0 111
   257    -9  14 0 C> 1 0 111
   258   -10  14 0 <A 0 0 111
   259    -9  15 B> 0 0 111
   260    -8  15 0 C> 0 111
   261    -7  15 0 1 D> 111
   262    -8  15 0 1 <F 111
   263    -9  15 0 <E 112
   264   -10  15 <A 113
   265   -11  14 <B 0 113
+  269   -15  <B 14 0 113
   270   -14  C> 14 0 113
   271   -15  <A 0 13 0 113
   272   -14  1 B> 0 13 0 113
   273   -13  1 0 C> 13 0 113
   274   -14  1 0 <A 0 1 1 0 113
   275   -13  1 1 B> 0 1 1 0 113
   276   -12  1 1 0 C> 1 1 0 113
   277   -13  1 1 0 <A 0 1 0 113
   278   -12  13 B> 0 1 0 113
   279   -11  13 0 C> 1 0 113
   280   -12  13 0 <A 0 0 113
   281   -11  14 B> 0 0 113
   282   -10  14 0 C> 0 113
   283    -9  14 0 1 D> 113
   284   -10  14 0 1 <F 113
   285   -11  14 0 <E 114
   286   -12  14 <A 115
   287   -13  13 <B 0 115
+  290   -16  <B 13 0 115
   291   -15  C> 13 0 115
   292   -16  <A 0 1 1 0 115
   293   -15  1 B> 0 1 1 0 115
   294   -14  1 0 C> 1 1 0 115
   295   -15  1 0 <A 0 1 0 115
   296   -14  1 1 B> 0 1 0 115
   297   -13  1 1 0 C> 1 0 115
   298   -14  1 1 0 <A 0 0 115
   299   -13  13 B> 0 0 115
   300   -12  13 0 C> 0 115
   301   -11  13 0 1 D> 115
   302   -12  13 0 1 <F 115
   303   -13  13 0 <E 116
   304   -14  13 <A 117
   305   -15  1 1 <B 0 117
+  307   -17  <B 1 1 0 117
   308   -16  C> 1 1 0 117
   309   -17  <A 0 1 0 117
   310   -16  1 B> 0 1 0 117
   311   -15  1 0 C> 1 0 117
   312   -16  1 0 <A 0 0 117
   313   -15  1 1 B> 0 0 117
   314   -14  1 1 0 C> 0 117
   315   -13  1 1 0 1 D> 117
   316   -14  1 1 0 1 <F 117
   317   -15  1 1 0 <E 118
   318   -16  1 1 <A 119
   319   -17  1 <B 0 119
   320   -18  <B 1 0 119
   321   -17  C> 1 0 119
   322   -18  <A 0 0 119
   323   -17  1 B> 0 0 119
   324   -16  1 0 C> 0 119
   325   -15  1 0 1 D> 119
   326   -16  1 0 1 <F 119
   327   -17  1 0 <E 120
   328   -18  1 <A 121
   329   -19  <B 0 121
   330   -18  C> 0 121
   331   -17  1 D> 121
   332   -18  1 <F 121
   333   -19  <E 122
   334   -20  <A 123
   335   -19  1 B> 123
   336   -20  1 <B 123
   337   -21  <B 124

After 337 steps (301 lines): state = B.
Produced     24 ones.
Tape index -21, scanned [-20 .. 3].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 78 65 13 0 26
B 131 77 54 1 10
C 77 16 61 2 13
D 18 3 15 3 23
E 18 16 2 8 4
F 15   15   24
Execution statistics

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