2-state 5-symbol #a from T.J. & S. Ligocki

Comment: This TM produces 4099 nonzeros in 15754273 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
4
on 0 on 1 on 2 on 3 on 4
Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 4LB 1RH 2RA 0LB 3LB 4 left B 1 right H 2 right A 0 left B 3 left B
B 2RA 3LB 3RB 2LB 1LB 2 right A 3 left B 3 right B 2 left B 1 left B
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-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.

  Step Tpos St Tape contents
     0    0 A . . . . . 0
     1   -1 B . . . . .04
     2    0 A . . . . .24
     3   -1 B . . . . .23
     4    0 B . . . . .33
+    6   -2 B . . . . 022  by B/3 * 2
     7   -1 A . . . . 222
+    9    1 A . . . . 2220  by A/2 * 2
    10    0 B . . . . 2224
    11    1 B . . . . 2234
    12    0 B . . . . 2231
    13   -1 B . . . . 2221
+   15    1 B . . . . 2331   by B/2 * 2
    16    0 B . . . . 2333
+   18   -2 B . . . . 2223   by B/3 * 2
+   21    1 B . . . . 3333   by B/2 * 3
+   25   -3 B . . . .02222   by B/3 * 4
    26   -2 A . . . .22222
+   30    2 A . . . .222220   by A/2 * 4
    31    1 B . . . .222224
    32    2 B . . . .222234
    33    1 B . . . .222231
    34    0 B . . . .222221
+   36    2 B . . . .222331  by B/2 * 2
    37    1 B . . . .222333
+   39   -1 B . . . .222223  by B/3 * 2
+   42    2 B . . . .223333  by B/2 * 3
+   46   -2 B . . . .222222  by B/3 * 4
+   51    3 B . . . .2333330  by B/2 * 5
    52    4 A . . . .23333320
    53    3 B . . . .23333324
    54    4 B . . . .23333334
    55    3 B . . . .23333331
+   61   -3 B . . . .22222221  by B/3 * 6
+   68    4 B . . . .33333331  by B/2 * 7
    69    3 B . . . .33333333
+   76   -4 B . . . 022222223  by B/3 * 7
    77   -3 A . . . 222222223
+   84    4 A . . . 222222223  by A/2 * 7
    85    3 B . . . 222222220
    86    4 B . . . 222222230
    87    5 A . . . 2222222320
    88    4 B . . . 2222222324
    89    5 B . . . 2222222334
    90    4 B . . . 2222222331
+   92    2 B . . . 2222222221   by B/3 * 2
+   95    5 B . . . 2222223331   by B/2 * 3
    96    4 B . . . 2222223333
+   99    1 B . . . 2222222223   by B/3 * 3
+  103    5 B . . . 2222233333   by B/2 * 4
+  108    0 B . . . 2222222222   by B/3 * 5
+  114    6 B . . . 22223333330   by B/2 * 6
   115    7 A . . . 222233333320
   116    6 B . . . 222233333324
   117    7 B . . . 222233333334
   118    6 B . . . 222233333331
+  125   -1 B . . . 222222222221   by B/3 * 7
+  133    7 B . . . 222333333331   by B/2 * 8
   134    6 B . . . 222333333333
+  142   -2 B . . . 222222222223   by B/3 * 8
+  151    7 B . . . 223333333333   by B/2 * 9
+  161   -3 B . . . 222222222222   by B/3 * 10
+  172    8 B . . . 2333333333330   by B/2 * 11
   173    9 A . . . 23333333333320
   174    8 B . . . 23333333333324
   175    9 B . . . 23333333333334
   176    8 B . . . 23333333333331
+  188   -4 B . . . 22222222222221   by B/3 * 12
+  201    9 B . . . 33333333333331   by B/2 * 13
   202    8 B . . . 33333333333333
+  215   -5 B . . .022222222222223   by B/3 * 13
   216   -4 A . . .222222222222223
+  229    9 A . . .222222222222223   by A/2 * 13
   230    8 B . . .222222222222220
   231    9 B . . .222222222222230
   232   10 A . . .2222222222222320
   233    9 B . . .2222222222222324
   234   10 B . . .2222222222222334
   235    9 B . . .2222222222222331
+  237    7 B . . .2222222222222221  by B/3 * 2
+  240   10 B . . .2222222222223331  by B/2 * 3
   241    9 B . . .2222222222223333
+  244    6 B . . .2222222222222223  by B/3 * 3
+  248   10 B . . .2222222222233333  by B/2 * 4
+  253    5 B . . .2222222222222222  by B/3 * 5
+  259   11 B . . .22222222223333330  by B/2 * 6
   260   12 A . . .222222222233333320
   261   11 B . . .222222222233333324
   262   12 B . . .222222222233333334
   263   11 B . . .222222222233333331
+  270    4 B . . .222222222222222221  by B/3 * 7
+  278   12 B . . .222222222333333331  by B/2 * 8
   279   11 B . . .222222222333333333
+  287    3 B . . .222222222222222223  by B/3 * 8
+  296   12 B . . .222222223333333333  by B/2 * 9
+  306    2 B . . .222222222222222222  by B/3 * 10
+  317   13 B . . .2222222333333333330  by B/2 * 11
   318   14 A . . .22222223333333333320
   319   13 B . . .22222223333333333324
   320   14 B . . .22222223333333333334
   321   13 B . . .22222223333333333331
+  333    1 B . . .22222222222222222221  by B/3 * 12
+  346   14 B . . .22222233333333333331  by B/2 * 13
   347   13 B . . .22222233333333333333
+  360    0 B . . .22222222222222222223  by B/3 * 13
+  374   14 B . . .22222333333333333333  by B/2 * 14
+  389   -1 B . . .22222222222222222222  by B/3 * 15
+  405   15 B . . .222233333333333333330  by B/2 * 16
   406   16 A . . .2222333333333333333320
   407   15 B . . .2222333333333333333324
   408   16 B . . .2222333333333333333334
   409   15 B . . .2222333333333333333331
+  426   -2 B . . .2222222222222222222221  by B/3 * 17
+  444   16 B . . .2223333333333333333331  by B/2 * 18
   445   15 B . . .2223333333333333333333
+  463   -3 B . . .2222222222222222222223  by B/3 * 18
+  482   16 B . . .2233333333333333333333  by B/2 * 19
+  502   -4 B . . .2222222222222222222222  by B/3 * 20
+  523   17 B . . .23333333333333333333330  by B/2 * 21
   524   18 A . . .233333333333333333333320
   525   17 B . . .233333333333333333333324
   526   18 B . . .233333333333333333333334
   527   17 B . . .233333333333333333333331
+  549   -5 B . . .222222222222222222222221  by B/3 * 22
+  572   18 B . . .333333333333333333333331  by B/2 * 23
   573   17 B . . .333333333333333333333333
+  596   -6 B . . 0222222222222222222222223  by B/3 * 23
   597   -5 A . . 2222222222222222222222223
+  620   18 A . . 2222222222222222222222223  by A/2 * 23
   621   17 B . . 2222222222222222222222220
   622   18 B . . 2222222222222222222222230
   623   19 A . . 22222222222222222222222320
   624   18 B . . 22222222222222222222222324
   625   19 B . . 22222222222222222222222334
   626   18 B . . 22222222222222222222222331
+  628   16 B . . 22222222222222222222222221   by B/3 * 2
+  631   19 B . . 22222222222222222222223331   by B/2 * 3
   632   18 B . . 22222222222222222222223333
+  635   15 B . . 22222222222222222222222223   by B/3 * 3
+  639   19 B . . 22222222222222222222233333   by B/2 * 4
+  644   14 B . . 22222222222222222222222222   by B/3 * 5
+  650   20 B . . 222222222222222222223333330   by B/2 * 6
   651   21 A . . 2222222222222222222233333320
   652   20 B . . 2222222222222222222233333324
   653   21 B . . 2222222222222222222233333334
   654   20 B . . 2222222222222222222233333331
+  661   13 B . . 2222222222222222222222222221   by B/3 * 7
+  669   21 B . . 2222222222222222222333333331   by B/2 * 8
   670   20 B . . 2222222222222222222333333333
+  678   12 B . . 2222222222222222222222222223   by B/3 * 8
+  687   21 B . . 2222222222222222223333333333   by B/2 * 9
+  697   11 B . . 2222222222222222222222222222   by B/3 * 10
+  708   22 B . . 22222222222222222333333333330   by B/2 * 11
   709   23 A . . 222222222222222223333333333320
   710   22 B . . 222222222222222223333333333324
   711   23 B . . 222222222222222223333333333334
   712   22 B . . 222222222222222223333333333331
+  724   10 B . . 222222222222222222222222222221   by B/3 * 12
+  737   23 B . . 222222222222222233333333333331   by B/2 * 13
   738   22 B . . 222222222222222233333333333333
+  751    9 B . . 222222222222222222222222222223   by B/3 * 13
+  765   23 B . . 222222222222222333333333333333   by B/2 * 14
+  780    8 B . . 222222222222222222222222222222   by B/3 * 15
+  796   24 B . . 2222222222222233333333333333330   by B/2 * 16
   797   25 A . . 22222222222222333333333333333320
   798   24 B . . 22222222222222333333333333333324
   799   25 B . . 22222222222222333333333333333334
   800   24 B . . 22222222222222333333333333333331
+  817    7 B . . 22222222222222222222222222222221   by B/3 * 17
+  835   25 B . . 22222222222223333333333333333331   by B/2 * 18
   836   24 B . . 22222222222223333333333333333333
+  854    6 B . . 22222222222222222222222222222223   by B/3 * 18
+  873   25 B . . 22222222222233333333333333333333   by B/2 * 19
+  893    5 B . . 22222222222222222222222222222222   by B/3 * 20
+  914   26 B . . 222222222223333333333333333333330   by B/2 * 21
   915   27 A . . 2222222222233333333333333333333320
   916   26 B . . 2222222222233333333333333333333324
   917   27 B . . 2222222222233333333333333333333334
   918   26 B . . 2222222222233333333333333333333331
+  940    4 B . . 2222222222222222222222222222222221   by B/3 * 22
+  963   27 B . . 2222222222333333333333333333333331   by B/2 * 23
   964   26 B . . 2222222222333333333333333333333333
+  987    3 B . . 2222222222222222222222222222222223   by B/3 * 23
+ 1011   27 B . . 2222222223333333333333333333333333   by B/2 * 24
+ 1036    2 B . . 2222222222222222222222222222222222   by B/3 * 25
+ 1062   28 B . . 22222222333333333333333333333333330   by B/2 * 26
  1063   29 A . . 222222223333333333333333333333333320
  1064   28 B . . 222222223333333333333333333333333324
  1065   29 B . . 222222223333333333333333333333333334
  1066   28 B . . 222222223333333333333333333333333331
+ 1093    1 B . . 222222222222222222222222222222222221   by B/3 * 27
+ 1121   29 B . . 222222233333333333333333333333333331   by B/2 * 28
  1122   28 B . . 222222233333333333333333333333333333
+ 1150    0 B . . 222222222222222222222222222222222223   by B/3 * 28
+ 1179   29 B . . 222222333333333333333333333333333333   by B/2 * 29
+ 1209   -1 B . . 222222222222222222222222222222222222   by B/3 * 30
+ 1240   30 B . . 2222233333333333333333333333333333330   by B/2 * 31
  1241   31 A . . 22222333333333333333333333333333333320
  1242   30 B . . 22222333333333333333333333333333333324
  1243   31 B . . 22222333333333333333333333333333333334
  1244   30 B . . 22222333333333333333333333333333333331

After 1244 steps (201 lines): state = B.
Produced     38 nonzeros.
Tape index 30, scanned [-6 .. 31].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 4 on 0 on 1 on 2 on 3 on 4
A 72 19   49 3 1 0   7 84 2
B 1172 22 17 566 549 18 1 15 3 4 11
Execution statistics

The same TM just simple.
The same TM with tape symbol exponents.
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:12:38 CEST 2010