2-state 6-symbol #a (T.J. & S. Ligocki) 

Comment: This TM produces 10574 nonzeros in 94842383 steps.
Comment: The halting transition on B2 is unused

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
4		 on
5		 on 0 on 1 on 2 on 3 on 4 on 5
Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 5RB 5RA 3RH 1RB 3LA 1LA 5 right B 5 right A 3 right H 1 right B 3 left A 1 left A
B 4LB 1RB 4LH 2RA 5LB 5LA 4 left B 1 right B 4 left H 2 right A 5 left B 5 left A
Transition table 
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM 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 St Tape contents
     0    0 A . . . . . 0
     1    1 B . . . . . 50
     2    0 B . . . . . 54
     3   -1 A . . . . .054
     4    0 B . . . . .554
     5   -1 A . . . . .554
     6   -2 A . . . . 0154
     7   -1 B . . . . 5154
     8    0 B . . . . 5154
     9   -1 A . . . . 5154
    10    0 A . . . . 5554
+   13   -3 A . . . .01114   by A/5 * 3
    14   -2 B . . . .51114
+   17    1 B . . . .51114   by B/1 * 3
    18    0 B . . . .51115
    19    1 B . . . .51115
    20    0 A . . . .51115
    21    1 A . . . .51155
+   23   -1 A . . . .51111   by A/5 * 2
+   26    2 A . . . .515550   by A/1 * 3
    27    3 B . . . .5155550
    28    2 B . . . .5155554
    29    1 A . . . .5155554
+   32   -2 A . . . .5111154   by A/5 * 3
+   36    2 A . . . .5555554   by A/1 * 4
+   42   -4 A . . . 01111114   by A/5 * 6
    43   -3 B . . . 51111114
+   49    3 B . . . 51111114   by B/1 * 6
    50    2 B . . . 51111115
    51    3 B . . . 51111115
    52    2 A . . . 51111115
    53    3 A . . . 51111155
+   55    1 A . . . 51111111   by A/5 * 2
+   58    4 A . . . 511115550   by A/1 * 3
    59    5 B . . . 5111155550
    60    4 B . . . 5111155554
    61    3 A . . . 5111155554
+   64    0 A . . . 5111111154   by A/5 * 3
+   68    4 A . . . 5111555554   by A/1 * 4
+   73   -1 A . . . 5111111114   by A/5 * 5
+   79    5 A . . . 5115555554   by A/1 * 6
    80    4 A . . . 5115555553
+   86   -2 A . . . 5111111113   by A/5 * 6
+   93    5 A . . . 5155555553   by A/1 * 7
    94    6 B . . . 51555555510
    95    5 B . . . 51555555514
    96    6 B . . . 51555555514
    97    5 B . . . 51555555515
    98    6 B . . . 51555555515
    99    5 A . . . 51555555515
   100    6 A . . . 51555555555
+  109   -3 A . . . 51111111111  by A/5 * 9
+  119    7 A . . . 555555555550  by A/1 * 10
   120    8 B . . . 5555555555550
   121    7 B . . . 5555555555554
   122    6 A . . . 5555555555554
+  133   -5 A . . .01111111111154  by A/5 * 11
   134   -4 B . . .51111111111154
+  145    7 B . . .51111111111154  by B/1 * 11
   146    6 A . . .51111111111154
   147    7 A . . .51111111111554
+  149    5 A . . .51111111111114  by A/5 * 2
+  152    8 A . . .51111111115554  by A/1 * 3
   153    7 A . . .51111111115553
+  156    4 A . . .51111111111113  by A/5 * 3
+  160    8 A . . .51111111155553  by A/1 * 4
   161    9 B . . .511111111555510
   162    8 B . . .511111111555514
   163    9 B . . .511111111555514
   164    8 B . . .511111111555515
   165    9 B . . .511111111555515
   166    8 A . . .511111111555515
   167    9 A . . .511111111555555
+  173    3 A . . .511111111111111   by A/5 * 6
+  180   10 A . . .5111111155555550   by A/1 * 7
   181   11 B . . .51111111555555550
   182   10 B . . .51111111555555554
   183    9 A . . .51111111555555554
+  190    2 A . . .51111111111111154   by A/5 * 7
+  198   10 A . . .51111115555555554   by A/1 * 8
+  207    1 A . . .51111111111111114   by A/5 * 9
+  217   11 A . . .51111155555555554   by A/1 * 10
   218   10 A . . .51111155555555553
+  228    0 A . . .51111111111111113   by A/5 * 10
+  239   11 A . . .51111555555555553   by A/1 * 11
   240   12 B . . .511115555555555510
   241   11 B . . .511115555555555514
   242   12 B . . .511115555555555514
   243   11 B . . .511115555555555515
   244   12 B . . .511115555555555515
   245   11 A . . .511115555555555515
   246   12 A . . .511115555555555555
+  259   -1 A . . .511111111111111111  by A/5 * 13
+  273   13 A . . .5111555555555555550  by A/1 * 14
   274   14 B . . .51115555555555555550
   275   13 B . . .51115555555555555554
   276   12 A . . .51115555555555555554
+  290   -2 A . . .51111111111111111154  by A/5 * 14
+  305   13 A . . .51155555555555555554  by A/1 * 15
+  321   -3 A . . .51111111111111111114  by A/5 * 16
+  338   14 A . . .51555555555555555554  by A/1 * 17
   339   13 A . . .51555555555555555553
+  356   -4 A . . .51111111111111111113  by A/5 * 17
+  374   14 A . . .55555555555555555553  by A/1 * 18
   375   15 B . . .555555555555555555510
   376   14 B . . .555555555555555555514
   377   15 B . . .555555555555555555514
   378   14 B . . .555555555555555555515
   379   15 B . . .555555555555555555515
   380   14 A . . .555555555555555555515
   381   15 A . . .555555555555555555555
+  402   -6 A . . 0111111111111111111111   by A/5 * 21
   403   -5 B . . 5111111111111111111111
+  424   16 B . . 51111111111111111111110   by B/1 * 21
   425   15 B . . 51111111111111111111114
   426   16 B . . 51111111111111111111114
   427   15 B . . 51111111111111111111115
   428   16 B . . 51111111111111111111115
   429   15 A . . 51111111111111111111115
   430   16 A . . 51111111111111111111155
+  432   14 A . . 51111111111111111111111  by A/5 * 2
+  435   17 A . . 511111111111111111115550  by A/1 * 3
   436   18 B . . 5111111111111111111155550
   437   17 B . . 5111111111111111111155554
   438   16 A . . 5111111111111111111155554
+  441   13 A . . 5111111111111111111111154  by A/5 * 3
+  445   17 A . . 5111111111111111111555554  by A/1 * 4
+  450   12 A . . 5111111111111111111111114  by A/5 * 5
+  456   18 A . . 5111111111111111115555554  by A/1 * 6
   457   17 A . . 5111111111111111115555553
+  463   11 A . . 5111111111111111111111113  by A/5 * 6
+  470   18 A . . 5111111111111111155555553  by A/1 * 7
   471   19 B . . 51111111111111111555555510
   472   18 B . . 51111111111111111555555514
   473   19 B . . 51111111111111111555555514
   474   18 B . . 51111111111111111555555515
   475   19 B . . 51111111111111111555555515
   476   18 A . . 51111111111111111555555515
   477   19 A . . 51111111111111111555555555
+  486   10 A . . 51111111111111111111111111   by A/5 * 9
+  496   20 A . . 511111111111111155555555550   by A/1 * 10
   497   21 B . . 5111111111111111555555555550
   498   20 B . . 5111111111111111555555555554
   499   19 A . . 5111111111111111555555555554
+  509    9 A . . 5111111111111111111111111154   by A/5 * 10
+  520   20 A . . 5111111111111115555555555554   by A/1 * 11
+  532    8 A . . 5111111111111111111111111114   by A/5 * 12
+  545   21 A . . 5111111111111155555555555554   by A/1 * 13
   546   20 A . . 5111111111111155555555555553
+  559    7 A . . 5111111111111111111111111113   by A/5 * 13
+  573   21 A . . 5111111111111555555555555553   by A/1 * 14
   574   22 B . . 51111111111115555555555555510
   575   21 B . . 51111111111115555555555555514
   576   22 B . . 51111111111115555555555555514
   577   21 B . . 51111111111115555555555555515
   578   22 B . . 51111111111115555555555555515
   579   21 A . . 51111111111115555555555555515
   580   22 A . . 51111111111115555555555555555
+  596    6 A . . 51111111111111111111111111111  by A/5 * 16
+  613   23 A . . 511111111111555555555555555550  by A/1 * 17
   614   24 B . . 5111111111115555555555555555550
   615   23 B . . 5111111111115555555555555555554
   616   22 A . . 5111111111115555555555555555554
+  633    5 A . . 5111111111111111111111111111154  by A/5 * 17
+  651   23 A . . 5111111111155555555555555555554  by A/1 * 18
+  670    4 A . . 5111111111111111111111111111114  by A/5 * 19
+  690   24 A . . 5111111111555555555555555555554  by A/1 * 20
   691   23 A . . 5111111111555555555555555555553
+  711    3 A . . 5111111111111111111111111111113  by A/5 * 20
+  732   24 A . . 5111111115555555555555555555553  by A/1 * 21
   733   25 B . . 51111111155555555555555555555510
   734   24 B . . 51111111155555555555555555555514
   735   25 B . . 51111111155555555555555555555514
   736   24 B . . 51111111155555555555555555555515
   737   25 B . . 51111111155555555555555555555515
   738   24 A . . 51111111155555555555555555555515
   739   25 A . . 51111111155555555555555555555555
+  762    2 A . . 51111111111111111111111111111111   by A/5 * 23
+  786   26 A . . 511111115555555555555555555555550   by A/1 * 24
   787   27 B . . 5111111155555555555555555555555550
   788   26 B . . 5111111155555555555555555555555554
   789   25 A . . 5111111155555555555555555555555554
+  813    1 A . . 5111111111111111111111111111111154   by A/5 * 24
+  838   26 A . . 5111111555555555555555555555555554   by A/1 * 25
+  864    0 A . . 5111111111111111111111111111111114   by A/5 * 26
+  891   27 A . . 5111115555555555555555555555555554   by A/1 * 27
   892   26 A . . 5111115555555555555555555555555553
+  919   -1 A . . 5111111111111111111111111111111113   by A/5 * 27
+  947   27 A . . 5111155555555555555555555555555553   by A/1 * 28
   948   28 B . . 51111555555555555555555555555555510
   949   27 B . . 51111555555555555555555555555555514
   950   28 B . . 51111555555555555555555555555555514
   951   27 B . . 51111555555555555555555555555555515
   952   28 B . . 51111555555555555555555555555555515
   953   27 A . . 51111555555555555555555555555555515
   954   28 A . . 51111555555555555555555555555555555
+  984   -2 A . . 51111111111111111111111111111111111  by A/5 * 30
+ 1015   29 A . . 511155555555555555555555555555555550  by A/1 * 31
  1016   30 B . . 5111555555555555555555555555555555550
  1017   29 B . . 5111555555555555555555555555555555554
  1018   28 A . . 5111555555555555555555555555555555554

After 1018 steps (201 lines): state = A.
Produced     37 nonzeros.
Tape index 28, scanned [-6 .. 30].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 4 on 5 on 0 on 1 on 2 on 3 on 4 on 5
A 900 17 436   8 8 431 0 9   93 79 5
B 118 20 62     11 25 1 7     17 2
Execution statistics 

The same TM just simple.

The same TM 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.

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:11 CEST 2010