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

Comment: This TM produces >1.7x10^1301 nonzeros in >8.4x10^2601 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
3		 on 0 on 1 on 2 on 3
Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 1RB 1LA 3LA 3RC 1 right B 1 left A 3 left A 3 right C
B 2LC 2LB 1RB 1RA 2 left C 2 left B 1 right B 1 right A
C 2LA 3LC 1RH 1LB 2 left A 3 left C 1 right H 1 left B
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  1 B>
     2     0  1 <C 2
     3    -1  <C 3 2
     4    -2  <A 2 3 2
     5    -1  1 B> 2 3 2
     6     0  1 1 B> 3 2
     7     1  13 A> 2
     8     0  13 <A 3
+   11    -3  <A 13 3
    12    -2  1 B> 13 3
    13    -3  1 <B 2 1 1 3
    14    -4  <B 2 2 1 1 3
    15    -5  <C 23 1 1 3
    16    -6  <A 24 1 1 3
    17    -5  1 B> 24 1 1 3
+   21    -1  15 B> 1 1 3
    22    -2  15 <B 2 1 3
+   27    -7  <B 26 1 3
    28    -8  <C 27 1 3
    29    -9  <A 28 1 3
    30    -8  1 B> 28 1 3
+   38     0  19 B> 1 3
    39    -1  19 <B 2 3
+   48   -10  <B 210 3
    49   -11  <C 211 3
    50   -12  <A 212 3
    51   -11  1 B> 212 3
+   63     1  113 B> 3
    64     2  114 A>
    65     3  115 B>
    66     2  115 <C 2
+   81   -13  <C 315 2
    82   -14  <A 2 315 2
    83   -13  1 B> 2 315 2
    84   -12  1 1 B> 315 2
    85   -11  13 A> 314 2
    86   -10  13 3 C> 313 2
    87   -11  13 3 <B 1 312 2
    88   -10  14 A> 1 312 2
    89   -11  14 <A 1 312 2
+   93   -15  <A 15 312 2
    94   -14  1 B> 15 312 2
    95   -15  1 <B 2 14 312 2
    96   -16  <B 2 2 14 312 2
    97   -17  <C 23 14 312 2
    98   -18  <A 24 14 312 2
    99   -17  1 B> 24 14 312 2
+  103   -13  15 B> 14 312 2
   104   -14  15 <B 2 13 312 2
+  109   -19  <B 26 13 312 2
   110   -20  <C 27 13 312 2
   111   -21  <A 28 13 312 2
   112   -20  1 B> 28 13 312 2
+  120   -12  19 B> 13 312 2
   121   -13  19 <B 2 1 1 312 2
+  130   -22  <B 210 1 1 312 2
   131   -23  <C 211 1 1 312 2
   132   -24  <A 212 1 1 312 2
   133   -23  1 B> 212 1 1 312 2
+  145   -11  113 B> 1 1 312 2
   146   -12  113 <B 2 1 312 2
+  159   -25  <B 214 1 312 2
   160   -26  <C 215 1 312 2
   161   -27  <A 216 1 312 2
   162   -26  1 B> 216 1 312 2
+  178   -10  117 B> 1 312 2
   179   -11  117 <B 2 312 2
+  196   -28  <B 218 312 2
   197   -29  <C 219 312 2
   198   -30  <A 220 312 2
   199   -29  1 B> 220 312 2
+  219    -9  121 B> 312 2
   220    -8  122 A> 311 2
   221    -7  122 3 C> 310 2
   222    -8  122 3 <B 1 39 2
   223    -7  123 A> 1 39 2
   224    -8  123 <A 1 39 2
+  247   -31  <A 124 39 2
   248   -30  1 B> 124 39 2
   249   -31  1 <B 2 123 39 2
   250   -32  <B 2 2 123 39 2
   251   -33  <C 23 123 39 2
   252   -34  <A 24 123 39 2
   253   -33  1 B> 24 123 39 2
+  257   -29  15 B> 123 39 2
   258   -30  15 <B 2 122 39 2
+  263   -35  <B 26 122 39 2
   264   -36  <C 27 122 39 2
   265   -37  <A 28 122 39 2
   266   -36  1 B> 28 122 39 2
+  274   -28  19 B> 122 39 2
   275   -29  19 <B 2 121 39 2
+  284   -38  <B 210 121 39 2
   285   -39  <C 211 121 39 2
   286   -40  <A 212 121 39 2
   287   -39  1 B> 212 121 39 2
+  299   -27  113 B> 121 39 2
   300   -28  113 <B 2 120 39 2
+  313   -41  <B 214 120 39 2

After 313 steps (100 lines): state = B.
Produced     44 nonzeros.
Tape index -41, scanned [-40 .. 3].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 0 on 1 on 2 on 3
A 53 18 32 1 2 0 8 7 85
B 229 13 100 110 6 1 12 5 6
C 31 13 16   2 3 2   86
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:13:50 CEST 2010