4-state 3-symbol #b (T.J. & S. Ligocki)

Comment: This TM produces >1.1x10^713 nonzeros in >1.5x10^1426 steps.

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0
on
1
on
2
on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
A 1RB 0LC 1RH 1 right B 0 left C 1 right H
B 2LC 1RD 0LB 2 left C 1 right D 0 left B
C 2LA 1LC 1LA 2 left A 1 left C 1 left A
D 1RB 2LD 2RA 1 right B 2 left D 2 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-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1     1  1 B>
     2     0  1 <C 2
     3    -1  <C 1 2
     4    -2  <A 2 1 2
     5    -1  1 B> 2 1 2
     6    -2  1 <B 0 1 2
     7    -1  1 D> 0 1 2
     8     0  1 1 B> 1 2
     9     1  13 D> 2
    10     2  13 2 A>
    11     3  13 2 1 B>
    12     2  13 2 1 <C 2
    13     1  13 2 <C 1 2
    14     0  13 <A 1 1 2
    15    -1  1 1 <C 0 1 1 2
+   17    -3  <C 1 1 0 1 1 2
    18    -4  <A 2 1 1 0 1 1 2
    19    -3  1 B> 2 1 1 0 1 1 2
    20    -4  1 <B 0 1 1 0 1 1 2
    21    -3  1 D> 0 1 1 0 1 1 2
    22    -2  1 1 B> 1 1 0 1 1 2
    23    -1  13 D> 1 0 1 1 2
    24    -2  13 <D 2 0 1 1 2
+   27    -5  <D 24 0 1 1 2
    28    -4  1 B> 24 0 1 1 2
    29    -5  1 <B 0 23 0 1 1 2
    30    -4  1 D> 0 23 0 1 1 2
    31    -3  1 1 B> 23 0 1 1 2
    32    -4  1 1 <B 0 2 2 0 1 1 2
    33    -3  1 1 D> 0 2 2 0 1 1 2
    34    -2  13 B> 2 2 0 1 1 2
    35    -3  13 <B 0 2 0 1 1 2
    36    -2  13 D> 0 2 0 1 1 2
    37    -1  14 B> 2 0 1 1 2
    38    -2  14 <B 0 0 1 1 2
    39    -1  14 D> 0 0 1 1 2
    40     0  15 B> 0 1 1 2
    41    -1  15 <C 2 1 1 2
+   46    -6  <C 15 2 1 1 2
    47    -7  <A 2 15 2 1 1 2
    48    -6  1 B> 2 15 2 1 1 2
    49    -7  1 <B 0 15 2 1 1 2
    50    -6  1 D> 0 15 2 1 1 2
    51    -5  1 1 B> 15 2 1 1 2
    52    -4  13 D> 14 2 1 1 2
    53    -5  13 <D 2 13 2 1 1 2
+   56    -8  <D 24 13 2 1 1 2
    57    -7  1 B> 24 13 2 1 1 2
    58    -8  1 <B 0 23 13 2 1 1 2
    59    -7  1 D> 0 23 13 2 1 1 2
    60    -6  1 1 B> 23 13 2 1 1 2
    61    -7  1 1 <B 0 2 2 13 2 1 1 2
    62    -6  1 1 D> 0 2 2 13 2 1 1 2
    63    -5  13 B> 2 2 13 2 1 1 2
    64    -6  13 <B 0 2 13 2 1 1 2
    65    -5  13 D> 0 2 13 2 1 1 2
    66    -4  14 B> 2 13 2 1 1 2
    67    -5  14 <B 0 13 2 1 1 2
    68    -4  14 D> 0 13 2 1 1 2
    69    -3  15 B> 13 2 1 1 2
    70    -2  16 D> 1 1 2 1 1 2
    71    -3  16 <D 2 1 2 1 1 2
+   77    -9  <D 27 1 2 1 1 2
    78    -8  1 B> 27 1 2 1 1 2
    79    -9  1 <B 0 26 1 2 1 1 2
    80    -8  1 D> 0 26 1 2 1 1 2
    81    -7  1 1 B> 26 1 2 1 1 2
    82    -8  1 1 <B 0 25 1 2 1 1 2
    83    -7  1 1 D> 0 25 1 2 1 1 2
    84    -6  13 B> 25 1 2 1 1 2
    85    -7  13 <B 0 24 1 2 1 1 2
    86    -6  13 D> 0 24 1 2 1 1 2
    87    -5  14 B> 24 1 2 1 1 2
    88    -6  14 <B 0 23 1 2 1 1 2
    89    -5  14 D> 0 23 1 2 1 1 2
    90    -4  15 B> 23 1 2 1 1 2
    91    -5  15 <B 0 2 2 1 2 1 1 2
    92    -4  15 D> 0 2 2 1 2 1 1 2
    93    -3  16 B> 2 2 1 2 1 1 2
    94    -4  16 <B 0 2 1 2 1 1 2
    95    -3  16 D> 0 2 1 2 1 1 2
    96    -2  17 B> 2 1 2 1 1 2
    97    -3  17 <B 0 1 2 1 1 2
    98    -2  17 D> 0 1 2 1 1 2
    99    -1  18 B> 1 2 1 1 2
   100     0  19 D> 2 1 1 2
   101     1  19 2 A> 1 1 2
   102     0  19 2 <C 0 1 2
   103    -1  19 <A 1 0 1 2
   104    -2  18 <C 0 1 0 1 2
+  112   -10  <C 18 0 1 0 1 2
   113   -11  <A 2 18 0 1 0 1 2
   114   -10  1 B> 2 18 0 1 0 1 2
   115   -11  1 <B 0 18 0 1 0 1 2
   116   -10  1 D> 0 18 0 1 0 1 2
   117    -9  1 1 B> 18 0 1 0 1 2
   118    -8  13 D> 17 0 1 0 1 2
   119    -9  13 <D 2 16 0 1 0 1 2
+  122   -12  <D 24 16 0 1 0 1 2
   123   -11  1 B> 24 16 0 1 0 1 2
   124   -12  1 <B 0 23 16 0 1 0 1 2
   125   -11  1 D> 0 23 16 0 1 0 1 2
   126   -10  1 1 B> 23 16 0 1 0 1 2
   127   -11  1 1 <B 0 2 2 16 0 1 0 1 2
   128   -10  1 1 D> 0 2 2 16 0 1 0 1 2
   129    -9  13 B> 2 2 16 0 1 0 1 2
   130   -10  13 <B 0 2 16 0 1 0 1 2
   131    -9  13 D> 0 2 16 0 1 0 1 2
   132    -8  14 B> 2 16 0 1 0 1 2
   133    -9  14 <B 0 16 0 1 0 1 2
   134    -8  14 D> 0 16 0 1 0 1 2
   135    -7  15 B> 16 0 1 0 1 2
   136    -6  16 D> 15 0 1 0 1 2
   137    -7  16 <D 2 14 0 1 0 1 2
+  143   -13  <D 27 14 0 1 0 1 2
   144   -12  1 B> 27 14 0 1 0 1 2
   145   -13  1 <B 0 26 14 0 1 0 1 2
   146   -12  1 D> 0 26 14 0 1 0 1 2
   147   -11  1 1 B> 26 14 0 1 0 1 2
   148   -12  1 1 <B 0 25 14 0 1 0 1 2
   149   -11  1 1 D> 0 25 14 0 1 0 1 2
   150   -10  13 B> 25 14 0 1 0 1 2
   151   -11  13 <B 0 24 14 0 1 0 1 2
   152   -10  13 D> 0 24 14 0 1 0 1 2
   153    -9  14 B> 24 14 0 1 0 1 2
   154   -10  14 <B 0 23 14 0 1 0 1 2
   155    -9  14 D> 0 23 14 0 1 0 1 2
   156    -8  15 B> 23 14 0 1 0 1 2
   157    -9  15 <B 0 2 2 14 0 1 0 1 2
   158    -8  15 D> 0 2 2 14 0 1 0 1 2
   159    -7  16 B> 2 2 14 0 1 0 1 2
   160    -8  16 <B 0 2 14 0 1 0 1 2
   161    -7  16 D> 0 2 14 0 1 0 1 2
   162    -6  17 B> 2 14 0 1 0 1 2
   163    -7  17 <B 0 14 0 1 0 1 2
   164    -6  17 D> 0 14 0 1 0 1 2
   165    -5  18 B> 14 0 1 0 1 2
   166    -4  19 D> 13 0 1 0 1 2
   167    -5  19 <D 2 1 1 0 1 0 1 2
+  176   -14  <D 210 1 1 0 1 0 1 2
   177   -13  1 B> 210 1 1 0 1 0 1 2
   178   -14  1 <B 0 29 1 1 0 1 0 1 2
   179   -13  1 D> 0 29 1 1 0 1 0 1 2
   180   -12  1 1 B> 29 1 1 0 1 0 1 2
   181   -13  1 1 <B 0 28 1 1 0 1 0 1 2
   182   -12  1 1 D> 0 28 1 1 0 1 0 1 2
   183   -11  13 B> 28 1 1 0 1 0 1 2
   184   -12  13 <B 0 27 1 1 0 1 0 1 2
   185   -11  13 D> 0 27 1 1 0 1 0 1 2
   186   -10  14 B> 27 1 1 0 1 0 1 2
   187   -11  14 <B 0 26 1 1 0 1 0 1 2
   188   -10  14 D> 0 26 1 1 0 1 0 1 2
   189    -9  15 B> 26 1 1 0 1 0 1 2
   190   -10  15 <B 0 25 1 1 0 1 0 1 2
   191    -9  15 D> 0 25 1 1 0 1 0 1 2
   192    -8  16 B> 25 1 1 0 1 0 1 2
   193    -9  16 <B 0 24 1 1 0 1 0 1 2
   194    -8  16 D> 0 24 1 1 0 1 0 1 2
   195    -7  17 B> 24 1 1 0 1 0 1 2
   196    -8  17 <B 0 23 1 1 0 1 0 1 2
   197    -7  17 D> 0 23 1 1 0 1 0 1 2
   198    -6  18 B> 23 1 1 0 1 0 1 2
   199    -7  18 <B 0 2 2 1 1 0 1 0 1 2
   200    -6  18 D> 0 2 2 1 1 0 1 0 1 2
   201    -5  19 B> 2 2 1 1 0 1 0 1 2
   202    -6  19 <B 0 2 1 1 0 1 0 1 2
   203    -5  19 D> 0 2 1 1 0 1 0 1 2
   204    -4  110 B> 2 1 1 0 1 0 1 2
   205    -5  110 <B 0 1 1 0 1 0 1 2
   206    -4  110 D> 0 1 1 0 1 0 1 2
   207    -3  111 B> 1 1 0 1 0 1 2
   208    -2  112 D> 1 0 1 0 1 2
   209    -3  112 <D 2 0 1 0 1 2
+  221   -15  <D 213 0 1 0 1 2
   222   -14  1 B> 213 0 1 0 1 2
   223   -15  1 <B 0 212 0 1 0 1 2
   224   -14  1 D> 0 212 0 1 0 1 2
   225   -13  1 1 B> 212 0 1 0 1 2
   226   -14  1 1 <B 0 211 0 1 0 1 2
   227   -13  1 1 D> 0 211 0 1 0 1 2
   228   -12  13 B> 211 0 1 0 1 2
   229   -13  13 <B 0 210 0 1 0 1 2
   230   -12  13 D> 0 210 0 1 0 1 2
   231   -11  14 B> 210 0 1 0 1 2
   232   -12  14 <B 0 29 0 1 0 1 2
   233   -11  14 D> 0 29 0 1 0 1 2
   234   -10  15 B> 29 0 1 0 1 2
   235   -11  15 <B 0 28 0 1 0 1 2
   236   -10  15 D> 0 28 0 1 0 1 2
   237    -9  16 B> 28 0 1 0 1 2
   238   -10  16 <B 0 27 0 1 0 1 2
   239    -9  16 D> 0 27 0 1 0 1 2
   240    -8  17 B> 27 0 1 0 1 2
   241    -9  17 <B 0 26 0 1 0 1 2
   242    -8  17 D> 0 26 0 1 0 1 2
   243    -7  18 B> 26 0 1 0 1 2
   244    -8  18 <B 0 25 0 1 0 1 2
   245    -7  18 D> 0 25 0 1 0 1 2
   246    -6  19 B> 25 0 1 0 1 2
   247    -7  19 <B 0 24 0 1 0 1 2

After 247 steps (201 lines): state = B.
Produced     16 nonzeros.
Tape index -7, scanned [-15 .. 3].
State Count Execution count First in step
on 0 on 1 on 2 on 0 on 1 on 2
A 9 6 3   0 14  
B 109 3 57 49 1 6 5
C 23 4 17 2 3 2 13
D 106 55 49 2 7 23 9
Execution statistics

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