3-state 3-symbol #2678468 of Allen Brady

Comment: This has the same score as the (2,4) #a from Ligocki
Comment: This TM produces 2050 nonzeros in 3932964 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 B1R C1L H2R 1 right B 1 left C 2 right H
B A1L C1L B2R 1 left A 1 left C 2 right B
C B1R C2L C1R 1 right B 2 left C 1 right C
Transition table
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.

  Step Tpos St Tape contents
     0    0 A . . . . . 0
     1    1 B . . . . . 10
     2    0 A . . . . . 11
     3   -1 C . . . . .011
     4    0 B . . . . .111
     5   -1 C . . . . .111
     6   -2 C . . . . 0211
     7   -1 B . . . . 1211
     8    0 B . . . . 1211
     9   -1 C . . . . 1211
    10    0 C . . . . 1111
+   13   -3 C . . . .02221   by C/1 * 3
    14   -2 B . . . .12221
+   17    1 B . . . .12221   by B/2 * 3
    18    0 C . . . .12221
    19    1 C . . . .12211
+   21   -1 C . . . .12222   by C/1 * 2
+   24    2 C . . . .121110   by C/2 * 3
    25    3 B . . . .1211110
    26    2 A . . . .1211111
    27    1 C . . . .1211111
+   30   -2 C . . . .1222211   by C/1 * 3
+   34    2 C . . . .1111111   by C/2 * 4
+   40   -4 C . . . 02222221   by C/1 * 6
    41   -3 B . . . 12222221
+   47    3 B . . . 12222221   by B/2 * 6
    48    2 C . . . 12222221
    49    3 C . . . 12222211
+   51    1 C . . . 12222222   by C/1 * 2
+   54    4 C . . . 122221110   by C/2 * 3
    55    5 B . . . 1222211110
    56    4 A . . . 1222211111
    57    3 C . . . 1222211111
+   60    0 C . . . 1222222211   by C/1 * 3
+   64    4 C . . . 1222111111   by C/2 * 4
+   69   -1 C . . . 1222222221   by C/1 * 5
+   75    5 C . . . 1221111111   by C/2 * 6
+   82   -2 C . . . 1222222222   by C/1 * 7
+   90    6 C . . . 12111111110   by C/2 * 8
    91    7 B . . . 121111111110
    92    6 A . . . 121111111111
    93    5 C . . . 121111111111
+  101   -3 C . . . 122222222211   by C/1 * 8
+  110    6 C . . . 111111111111   by C/2 * 9
+  121   -5 C . . .0222222222221   by C/1 * 11
   122   -4 B . . .1222222222221
+  133    7 B . . .1222222222221   by B/2 * 11
   134    6 C . . .1222222222221
   135    7 C . . .1222222222211
+  137    5 C . . .1222222222222   by C/1 * 2
+  140    8 C . . .12222222221110   by C/2 * 3
   141    9 B . . .122222222211110
   142    8 A . . .122222222211111
   143    7 C . . .122222222211111
+  146    4 C . . .122222222222211   by C/1 * 3
+  150    8 C . . .122222222111111   by C/2 * 4
+  155    3 C . . .122222222222221   by C/1 * 5
+  161    9 C . . .122222221111111   by C/2 * 6
+  168    2 C . . .122222222222222   by C/1 * 7
+  176   10 C . . .1222222111111110   by C/2 * 8
   177   11 B . . .12222221111111110
   178   10 A . . .12222221111111111
   179    9 C . . .12222221111111111
+  187    1 C . . .12222222222222211   by C/1 * 8
+  196   10 C . . .12222211111111111   by C/2 * 9
+  206    0 C . . .12222222222222221   by C/1 * 10
+  217   11 C . . .12222111111111111   by C/2 * 11
+  229   -1 C . . .12222222222222222   by C/1 * 12
+  242   12 C . . .122211111111111110   by C/2 * 13
   243   13 B . . .1222111111111111110
   244   12 A . . .1222111111111111111
   245   11 C . . .1222111111111111111
+  258   -2 C . . .1222222222222222211   by C/1 * 13
+  272   12 C . . .1221111111111111111   by C/2 * 14
+  287   -3 C . . .1222222222222222221   by C/1 * 15
+  303   13 C . . .1211111111111111111   by C/2 * 16
+  320   -4 C . . .1222222222222222222   by C/1 * 17
+  338   14 C . . .11111111111111111110   by C/2 * 18
   339   15 B . . .111111111111111111110
   340   14 A . . .111111111111111111111
   341   13 C . . .111111111111111111111
+  360   -6 C . . 0222222222222222222211   by C/1 * 19
   361   -5 B . . 1222222222222222222211
+  380   14 B . . 1222222222222222222211   by B/2 * 19
   381   13 C . . 1222222222222222222211
   382   14 C . . 1222222222222222222111
+  384   12 C . . 1222222222222222222221   by C/1 * 2
+  387   15 C . . 1222222222222222221111   by C/2 * 3
+  391   11 C . . 1222222222222222222222   by C/1 * 4
+  396   16 C . . 12222222222222222111110   by C/2 * 5
   397   17 B . . 122222222222222221111110
   398   16 A . . 122222222222222221111111
   399   15 C . . 122222222222222221111111
+  404   10 C . . 122222222222222222222211   by C/1 * 5
+  410   16 C . . 122222222222222211111111   by C/2 * 6
+  417    9 C . . 122222222222222222222221   by C/1 * 7
+  425   17 C . . 122222222222222111111111   by C/2 * 8
+  434    8 C . . 122222222222222222222222   by C/1 * 9
+  444   18 C . . 1222222222222211111111110   by C/2 * 10
   445   19 B . . 12222222222222111111111110
   446   18 A . . 12222222222222111111111111
   447   17 C . . 12222222222222111111111111
+  457    7 C . . 12222222222222222222222211   by C/1 * 10
+  468   18 C . . 12222222222221111111111111   by C/2 * 11
+  480    6 C . . 12222222222222222222222221   by C/1 * 12
+  493   19 C . . 12222222222211111111111111   by C/2 * 13
+  507    5 C . . 12222222222222222222222222   by C/1 * 14
+  522   20 C . . 122222222221111111111111110   by C/2 * 15
   523   21 B . . 1222222222211111111111111110
   524   20 A . . 1222222222211111111111111111
   525   19 C . . 1222222222211111111111111111
+  540    4 C . . 1222222222222222222222222211   by C/1 * 15
+  556   20 C . . 1222222222111111111111111111   by C/2 * 16
+  573    3 C . . 1222222222222222222222222221   by C/1 * 17
+  591   21 C . . 1222222221111111111111111111   by C/2 * 18
+  610    2 C . . 1222222222222222222222222222   by C/1 * 19
+  630   22 C . . 12222222111111111111111111110   by C/2 * 20
   631   23 B . . 122222221111111111111111111110
   632   22 A . . 122222221111111111111111111111
   633   21 C . . 122222221111111111111111111111
+  653    1 C . . 122222222222222222222222222211   by C/1 * 20
+  674   22 C . . 122222211111111111111111111111   by C/2 * 21
+  696    0 C . . 122222222222222222222222222221   by C/1 * 22
+  719   23 C . . 122222111111111111111111111111   by C/2 * 23
+  743   -1 C . . 122222222222222222222222222222   by C/1 * 24
+  768   24 C . . 1222211111111111111111111111110   by C/2 * 25
   769   25 B . . 12222111111111111111111111111110
   770   24 A . . 12222111111111111111111111111111
   771   23 C . . 12222111111111111111111111111111
+  796   -2 C . . 12222222222222222222222222222211   by C/1 * 25
+  822   24 C . . 12221111111111111111111111111111   by C/2 * 26
+  849   -3 C . . 12222222222222222222222222222221   by C/1 * 27
+  877   25 C . . 12211111111111111111111111111111   by C/2 * 28
+  906   -4 C . . 12222222222222222222222222222222   by C/1 * 29
+  936   26 C . . 121111111111111111111111111111110   by C/2 * 30
   937   27 B . . 1211111111111111111111111111111110
   938   26 A . . 1211111111111111111111111111111111
   939   25 C . . 1211111111111111111111111111111111
+  969   -5 C . . 1222222222222222222222222222222211   by C/1 * 30
+ 1000   26 C . . 1111111111111111111111111111111111   by C/2 * 31
+ 1033   -7 C . .02222222222222222222222222222222221   by C/1 * 33
  1034   -6 B . .12222222222222222222222222222222221
+ 1067   27 B . .12222222222222222222222222222222221   by B/2 * 33
  1068   26 C . .12222222222222222222222222222222221
  1069   27 C . .12222222222222222222222222222222211
+ 1071   25 C . .12222222222222222222222222222222222   by C/1 * 2
+ 1074   28 C . .122222222222222222222222222222221110   by C/2 * 3
  1075   29 B . .1222222222222222222222222222222211110
  1076   28 A . .1222222222222222222222222222222211111
  1077   27 C . .1222222222222222222222222222222211111
+ 1080   24 C . .1222222222222222222222222222222222211   by C/1 * 3
+ 1084   28 C . .1222222222222222222222222222222111111   by C/2 * 4
+ 1089   23 C . .1222222222222222222222222222222222221   by C/1 * 5
+ 1095   29 C . .1222222222222222222222222222221111111   by C/2 * 6
+ 1102   22 C . .1222222222222222222222222222222222222   by C/1 * 7
+ 1110   30 C . .12222222222222222222222222222111111110   by C/2 * 8
  1111   31 B . .122222222222222222222222222221111111110
  1112   30 A . .122222222222222222222222222221111111111
  1113   29 C . .122222222222222222222222222221111111111
+ 1121   21 C . .122222222222222222222222222222222222211   by C/1 * 8
+ 1130   30 C . .122222222222222222222222222211111111111   by C/2 * 9
+ 1140   20 C . .122222222222222222222222222222222222221   by C/1 * 10
+ 1151   31 C . .122222222222222222222222222111111111111   by C/2 * 11
+ 1163   19 C . .122222222222222222222222222222222222222   by C/1 * 12
+ 1176   32 C . .1222222222222222222222222211111111111110   by C/2 * 13
  1177   33 B . .12222222222222222222222222111111111111110
  1178   32 A . .12222222222222222222222222111111111111111
  1179   31 C . .12222222222222222222222222111111111111111
+ 1192   18 C . .12222222222222222222222222222222222222211   by C/1 * 13
+ 1206   32 C . .12222222222222222222222221111111111111111   by C/2 * 14
+ 1221   17 C . .12222222222222222222222222222222222222221   by C/1 * 15
+ 1237   33 C . .12222222222222222222222211111111111111111   by C/2 * 16
+ 1254   16 C . .12222222222222222222222222222222222222222   by C/1 * 17
+ 1272   34 C . .122222222222222222222221111111111111111110   by C/2 * 18
  1273   35 B . .1222222222222222222222211111111111111111110
  1274   34 A . .1222222222222222222222211111111111111111111
  1275   33 C . .1222222222222222222222211111111111111111111
+ 1293   15 C . .1222222222222222222222222222222222222222211   by C/1 * 18
+ 1312   34 C . .1222222222222222222222111111111111111111111   by C/2 * 19
+ 1332   14 C . .1222222222222222222222222222222222222222221   by C/1 * 20
+ 1353   35 C . .1222222222222222222221111111111111111111111   by C/2 * 21
+ 1375   13 C . .1222222222222222222222222222222222222222222   by C/1 * 22
+ 1398   36 C . .12222222222222222222111111111111111111111110   by C/2 * 23
  1399   37 B . .122222222222222222221111111111111111111111110
  1400   36 A . .122222222222222222221111111111111111111111111
  1401   35 C . .122222222222222222221111111111111111111111111
+ 1424   12 C . .122222222222222222222222222222222222222222211   by C/1 * 23
+ 1448   36 C . .122222222222222222211111111111111111111111111   by C/2 * 24
+ 1473   11 C . .122222222222222222222222222222222222222222221   by C/1 * 25
+ 1499   37 C . .122222222222222222111111111111111111111111111   by C/2 * 26
+ 1526   10 C . .122222222222222222222222222222222222222222222   by C/1 * 27
+ 1554   38 C . .1222222222222222211111111111111111111111111110   by C/2 * 28
  1555   39 B . .12222222222222222111111111111111111111111111110
  1556   38 A . .12222222222222222111111111111111111111111111111
  1557   37 C . .12222222222222222111111111111111111111111111111
+ 1585    9 C . .12222222222222222222222222222222222222222222211   by C/1 * 28
+ 1614   38 C . .12222222222222221111111111111111111111111111111   by C/2 * 29
+ 1644    8 C . .12222222222222222222222222222222222222222222221   by C/1 * 30
+ 1675   39 C . .12222222222222211111111111111111111111111111111   by C/2 * 31
+ 1707    7 C . .12222222222222222222222222222222222222222222222   by C/1 * 32
+ 1740   40 C . .122222222222221111111111111111111111111111111110   by C/2 * 33

After 1740 steps (201 lines): state = C.
Produced     47 nonzeros.
Tape index 40, scanned [-7 .. 39].
State Count Execution count First in step
on 0 on 1 on 2 on 0 on 1 on 2
A 21 1 20   0 2  
B 100 20 7 73 1 4 7
C 1619 26 803 790 3 5 9
Execution statistics

The same TM just simple.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-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:11:40 CEST 2010