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

Comment: This TM produces >8.0x10^986 nonzeros in >3.7x10^1973 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 1RA 0LB 1 right B 1 right A 0 left B
B 2LC 1LB 1RC 2 left C 1 left B 1 right C
C 0RD 2LC 1RA 0 right D 2 left C 1 right A
D 2RA 1RH 1RC 2 right A 1 right H 1 right C
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 2 2
     4     0  D> 2 2
     5     1  1 C> 2
     6     2  1 1 A>
     7     3  13 B>
     8     2  13 <C 2
+   11    -1  <C 24
    12     0  D> 24
    13     1  1 C> 23
    14     2  1 1 A> 2 2
    15     1  1 1 <B 0 2
+   17    -1  <B 1 1 0 2
    18    -2  <C 2 1 1 0 2
    19    -1  D> 2 1 1 0 2
    20     0  1 C> 1 1 0 2
    21    -1  1 <C 2 1 0 2
    22    -2  <C 2 2 1 0 2
    23    -1  D> 2 2 1 0 2
    24     0  1 C> 2 1 0 2
    25     1  1 1 A> 1 0 2
    26     2  13 A> 0 2
    27     3  14 B> 2
    28     4  15 C>
    29     5  15 0 D>
    30     6  15 0 2 A>
    31     7  15 0 2 1 B>
    32     6  15 0 2 1 <C 2
    33     5  15 0 2 <C 2 2
    34     6  15 0 1 A> 2 2
    35     5  15 0 1 <B 0 2
    36     4  15 0 <B 1 0 2
    37     3  15 <C 2 1 0 2
+   42    -2  <C 26 1 0 2
    43    -1  D> 26 1 0 2
    44     0  1 C> 25 1 0 2
    45     1  1 1 A> 24 1 0 2
    46     0  1 1 <B 0 23 1 0 2
+   48    -2  <B 1 1 0 23 1 0 2
    49    -3  <C 2 1 1 0 23 1 0 2
    50    -2  D> 2 1 1 0 23 1 0 2
    51    -1  1 C> 1 1 0 23 1 0 2
    52    -2  1 <C 2 1 0 23 1 0 2
    53    -3  <C 2 2 1 0 23 1 0 2
    54    -2  D> 2 2 1 0 23 1 0 2
    55    -1  1 C> 2 1 0 23 1 0 2
    56     0  1 1 A> 1 0 23 1 0 2
    57     1  13 A> 0 23 1 0 2
    58     2  14 B> 23 1 0 2
    59     3  15 C> 2 2 1 0 2
    60     4  16 A> 2 1 0 2
    61     3  16 <B 0 1 0 2
+   67    -3  <B 16 0 1 0 2
    68    -4  <C 2 16 0 1 0 2
    69    -3  D> 2 16 0 1 0 2
    70    -2  1 C> 16 0 1 0 2
    71    -3  1 <C 2 15 0 1 0 2
    72    -4  <C 2 2 15 0 1 0 2
    73    -3  D> 2 2 15 0 1 0 2
    74    -2  1 C> 2 15 0 1 0 2
    75    -1  1 1 A> 15 0 1 0 2
+   80     4  17 A> 0 1 0 2
    81     5  18 B> 1 0 2
    82     4  18 <B 1 0 2
+   90    -4  <B 19 0 2
    91    -5  <C 2 19 0 2
    92    -4  D> 2 19 0 2
    93    -3  1 C> 19 0 2
    94    -4  1 <C 2 18 0 2
    95    -5  <C 2 2 18 0 2
    96    -4  D> 2 2 18 0 2
    97    -3  1 C> 2 18 0 2
    98    -2  1 1 A> 18 0 2
+  106     6  110 A> 0 2
   107     7  111 B> 2
   108     8  112 C>
   109     9  112 0 D>
   110    10  112 0 2 A>
   111    11  112 0 2 1 B>
   112    10  112 0 2 1 <C 2
   113     9  112 0 2 <C 2 2
   114    10  112 0 1 A> 2 2
   115     9  112 0 1 <B 0 2
   116     8  112 0 <B 1 0 2
   117     7  112 <C 2 1 0 2
+  129    -5  <C 213 1 0 2
   130    -4  D> 213 1 0 2
   131    -3  1 C> 212 1 0 2
   132    -2  1 1 A> 211 1 0 2
   133    -3  1 1 <B 0 210 1 0 2
+  135    -5  <B 1 1 0 210 1 0 2
   136    -6  <C 2 1 1 0 210 1 0 2
   137    -5  D> 2 1 1 0 210 1 0 2
   138    -4  1 C> 1 1 0 210 1 0 2
   139    -5  1 <C 2 1 0 210 1 0 2
   140    -6  <C 2 2 1 0 210 1 0 2
   141    -5  D> 2 2 1 0 210 1 0 2
   142    -4  1 C> 2 1 0 210 1 0 2
   143    -3  1 1 A> 1 0 210 1 0 2
   144    -2  13 A> 0 210 1 0 2
   145    -1  14 B> 210 1 0 2
   146     0  15 C> 29 1 0 2
   147     1  16 A> 28 1 0 2
   148     0  16 <B 0 27 1 0 2
+  154    -6  <B 16 0 27 1 0 2
   155    -7  <C 2 16 0 27 1 0 2
   156    -6  D> 2 16 0 27 1 0 2
   157    -5  1 C> 16 0 27 1 0 2
   158    -6  1 <C 2 15 0 27 1 0 2
   159    -7  <C 2 2 15 0 27 1 0 2
   160    -6  D> 2 2 15 0 27 1 0 2
   161    -5  1 C> 2 15 0 27 1 0 2
   162    -4  1 1 A> 15 0 27 1 0 2
+  167     1  17 A> 0 27 1 0 2
   168     2  18 B> 27 1 0 2
   169     3  19 C> 26 1 0 2
   170     4  110 A> 25 1 0 2
   171     3  110 <B 0 24 1 0 2
+  181    -7  <B 110 0 24 1 0 2
   182    -8  <C 2 110 0 24 1 0 2
   183    -7  D> 2 110 0 24 1 0 2
   184    -6  1 C> 110 0 24 1 0 2
   185    -7  1 <C 2 19 0 24 1 0 2
   186    -8  <C 2 2 19 0 24 1 0 2
   187    -7  D> 2 2 19 0 24 1 0 2
   188    -6  1 C> 2 19 0 24 1 0 2
   189    -5  1 1 A> 19 0 24 1 0 2
+  198     4  111 A> 0 24 1 0 2
   199     5  112 B> 24 1 0 2
   200     6  113 C> 23 1 0 2
   201     7  114 A> 2 2 1 0 2
   202     6  114 <B 0 2 1 0 2
+  216    -8  <B 114 0 2 1 0 2
   217    -9  <C 2 114 0 2 1 0 2
   218    -8  D> 2 114 0 2 1 0 2
   219    -7  1 C> 114 0 2 1 0 2
   220    -8  1 <C 2 113 0 2 1 0 2
   221    -9  <C 2 2 113 0 2 1 0 2
   222    -8  D> 2 2 113 0 2 1 0 2
   223    -7  1 C> 2 113 0 2 1 0 2
   224    -6  1 1 A> 113 0 2 1 0 2
+  237     7  115 A> 0 2 1 0 2
   238     8  116 B> 2 1 0 2
   239     9  117 C> 1 0 2
   240     8  117 <C 2 0 2
+  257    -9  <C 218 0 2
   258    -8  D> 218 0 2
   259    -7  1 C> 217 0 2
   260    -6  1 1 A> 216 0 2
   261    -7  1 1 <B 0 215 0 2
+  263    -9  <B 1 1 0 215 0 2
   264   -10  <C 2 1 1 0 215 0 2
   265    -9  D> 2 1 1 0 215 0 2
   266    -8  1 C> 1 1 0 215 0 2
   267    -9  1 <C 2 1 0 215 0 2
   268   -10  <C 2 2 1 0 215 0 2
   269    -9  D> 2 2 1 0 215 0 2
   270    -8  1 C> 2 1 0 215 0 2
   271    -7  1 1 A> 1 0 215 0 2
   272    -6  13 A> 0 215 0 2
   273    -5  14 B> 215 0 2
   274    -4  15 C> 214 0 2
   275    -3  16 A> 213 0 2
   276    -4  16 <B 0 212 0 2
+  282   -10  <B 16 0 212 0 2
   283   -11  <C 2 16 0 212 0 2
   284   -10  D> 2 16 0 212 0 2
   285    -9  1 C> 16 0 212 0 2
   286   -10  1 <C 2 15 0 212 0 2
   287   -11  <C 2 2 15 0 212 0 2
   288   -10  D> 2 2 15 0 212 0 2
   289    -9  1 C> 2 15 0 212 0 2
   290    -8  1 1 A> 15 0 212 0 2
+  295    -3  17 A> 0 212 0 2
   296    -2  18 B> 212 0 2
   297    -1  19 C> 211 0 2
   298     0  110 A> 210 0 2
   299    -1  110 <B 0 29 0 2
+  309   -11  <B 110 0 29 0 2
   310   -12  <C 2 110 0 29 0 2
   311   -11  D> 2 110 0 29 0 2
   312   -10  1 C> 110 0 29 0 2
   313   -11  1 <C 2 19 0 29 0 2
   314   -12  <C 2 2 19 0 29 0 2
   315   -11  D> 2 2 19 0 29 0 2
   316   -10  1 C> 2 19 0 29 0 2
   317    -9  1 1 A> 19 0 29 0 2
+  326     0  111 A> 0 29 0 2
   327     1  112 B> 29 0 2
   328     2  113 C> 28 0 2
   329     3  114 A> 27 0 2
   330     2  114 <B 0 26 0 2
+  344   -12  <B 114 0 26 0 2
   345   -13  <C 2 114 0 26 0 2
   346   -12  D> 2 114 0 26 0 2
   347   -11  1 C> 114 0 26 0 2
   348   -12  1 <C 2 113 0 26 0 2
   349   -13  <C 2 2 113 0 26 0 2
   350   -12  D> 2 2 113 0 26 0 2

After 350 steps (201 lines): state = D.
Produced     22 nonzeros.
Tape index -12, scanned [-13 .. 11].
State Count Execution count First in step
on 0 on 1 on 2 on 0 on 1 on 2
A 86 15 58 13 0 25 14
B 113 18 85 10 1 15 27
C 121 31 65 25 3 2 5
D 30 2   28 29   4
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:06 CEST 2010