TM #8 from MaBu90-Paper

Comment: Example for "greater config"

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1L A1R 1 left B 1 right A
B C0R B1L 0 right C 1 left B
C H1L A1R 1 left H 1 right 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-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 . . . . . . . . . .01
     2    0 C . . . . . . . . . .01
     3    1 A . . . . . . . . . .010
     4    0 B . . . . . . . . . .011
     5   -1 B . . . . . . . . . .011
     6    0 C . . . . . . . . . .011
     7    1 A . . . . . . . . . .011
     8    2 A . . . . . . . . . .0110
     9    1 B . . . . . . . . . .0111
+   11   -1 B . . . . . . . . . .0111  by B/1 * 2
    12    0 C . . . . . . . . . .0111
    13    1 A . . . . . . . . . .0111
+   15    3 A . . . . . . . . . .01110  by A/1 * 2
    16    2 B . . . . . . . . . .01111
+   19   -1 B . . . . . . . . . .01111   by B/1 * 3
    20    0 C . . . . . . . . . .01111
    21    1 A . . . . . . . . . .01111
+   24    4 A . . . . . . . . . .011110   by A/1 * 3
    25    3 B . . . . . . . . . .011111
+   29   -1 B . . . . . . . . . .011111  by B/1 * 4
    30    0 C . . . . . . . . . .011111
    31    1 A . . . . . . . . . .011111
+   35    5 A . . . . . . . . . .0111110  by A/1 * 4
    36    4 B . . . . . . . . . .0111111
+   41   -1 B . . . . . . . . . .0111111   by B/1 * 5
    42    0 C . . . . . . . . . .0111111
    43    1 A . . . . . . . . . .0111111
+   48    6 A . . . . . . . . . .01111110   by A/1 * 5
    49    5 B . . . . . . . . . .01111111
+   55   -1 B . . . . . . . . . .01111111  by B/1 * 6
    56    0 C . . . . . . . . . .01111111
    57    1 A . . . . . . . . . .01111111
+   63    7 A . . . . . . . . . .011111110  by A/1 * 6
    64    6 B . . . . . . . . . .011111111
+   71   -1 B . . . . . . . . . .011111111   by B/1 * 7
    72    0 C . . . . . . . . . .011111111
    73    1 A . . . . . . . . . .011111111
+   80    8 A . . . . . . . . . .0111111110   by A/1 * 7
    81    7 B . . . . . . . . . .0111111111
+   89   -1 B . . . . . . . . . .0111111111  by B/1 * 8
    90    0 C . . . . . . . . . .0111111111
    91    1 A . . . . . . . . . .0111111111
+   99    9 A . . . . . . . . . .01111111110  by A/1 * 8
   100    8 B . . . . . . . . . .01111111111
+  109   -1 B . . . . . . . . . .01111111111   by B/1 * 9
   110    0 C . . . . . . . . . .01111111111
   111    1 A . . . . . . . . . .01111111111
+  120   10 A . . . . . . . . . .011111111110   by A/1 * 9
   121    9 B . . . . . . . . . .011111111111
+  131   -1 B . . . . . . . . . .011111111111  by B/1 * 10
   132    0 C . . . . . . . . . .011111111111
   133    1 A . . . . . . . . . .011111111111
+  143   11 A . . . . . . . . . .0111111111110  by A/1 * 10
   144   10 B . . . . . . . . . .0111111111111
+  155   -1 B . . . . . . . . . .0111111111111   by B/1 * 11
   156    0 C . . . . . . . . . .0111111111111
   157    1 A . . . . . . . . . .0111111111111
+  168   12 A . . . . . . . . . .01111111111110   by A/1 * 11
   169   11 B . . . . . . . . . .01111111111111
+  181   -1 B . . . . . . . . . .01111111111111  by B/1 * 12
   182    0 C . . . . . . . . . .01111111111111
   183    1 A . . . . . . . . . .01111111111111
+  195   13 A . . . . . . . . . .011111111111110  by A/1 * 12
   196   12 B . . . . . . . . . .011111111111111
+  209   -1 B . . . . . . . . . .011111111111111   by B/1 * 13
   210    0 C . . . . . . . . . .011111111111111
   211    1 A . . . . . . . . . .011111111111111
+  224   14 A . . . . . . . . . .0111111111111110   by A/1 * 13
   225   13 B . . . . . . . . . .0111111111111111
+  239   -1 B . . . . . . . . . .0111111111111111  by B/1 * 14
   240    0 C . . . . . . . . . .0111111111111111
   241    1 A . . . . . . . . . .0111111111111111
+  255   15 A . . . . . . . . . .01111111111111110  by A/1 * 14
   256   14 B . . . . . . . . . .01111111111111111
+  271   -1 B . . . . . . . . . .01111111111111111   by B/1 * 15
   272    0 C . . . . . . . . . .01111111111111111
   273    1 A . . . . . . . . . .01111111111111111
+  288   16 A . . . . . . . . . .011111111111111110   by A/1 * 15
   289   15 B . . . . . . . . . .011111111111111111
+  305   -1 B . . . . . . . . . .011111111111111111  by B/1 * 16
   306    0 C . . . . . . . . . .011111111111111111
   307    1 A . . . . . . . . . .011111111111111111
+  323   17 A . . . . . . . . . .0111111111111111110  by A/1 * 16
   324   16 B . . . . . . . . . .0111111111111111111
+  341   -1 B . . . . . . . . . .0111111111111111111   by B/1 * 17
   342    0 C . . . . . . . . . .0111111111111111111
   343    1 A . . . . . . . . . .0111111111111111111
+  360   18 A . . . . . . . . . .01111111111111111110   by A/1 * 17
   361   17 B . . . . . . . . . .01111111111111111111
+  379   -1 B . . . . . . . . . .01111111111111111111  by B/1 * 18
   380    0 C . . . . . . . . . .01111111111111111111
   381    1 A . . . . . . . . . .01111111111111111111
+  399   19 A . . . . . . . . . .011111111111111111110  by A/1 * 18
   400   18 B . . . . . . . . . .011111111111111111111
+  419   -1 B . . . . . . . . . .011111111111111111111   by B/1 * 19
   420    0 C . . . . . . . . . .011111111111111111111
   421    1 A . . . . . . . . . .011111111111111111111
+  440   20 A . . . . . . . . . .0111111111111111111110   by A/1 * 19
   441   19 B . . . . . . . . . .0111111111111111111111
+  461   -1 B . . . . . . . . . .0111111111111111111111  by B/1 * 20
   462    0 C . . . . . . . . . .0111111111111111111111
   463    1 A . . . . . . . . . .0111111111111111111111
+  483   21 A . . . . . . . . . .01111111111111111111110  by A/1 * 20
   484   20 B . . . . . . . . . .01111111111111111111111
+  505   -1 B . . . . . . . . . .01111111111111111111111   by B/1 * 21
   506    0 C . . . . . . . . . .01111111111111111111111
   507    1 A . . . . . . . . . .01111111111111111111111
+  528   22 A . . . . . . . . . .011111111111111111111110   by A/1 * 21
   529   21 B . . . . . . . . . .011111111111111111111111
+  551   -1 B . . . . . . . . . .011111111111111111111111  by B/1 * 22
   552    0 C . . . . . . . . . .011111111111111111111111
   553    1 A . . . . . . . . . .011111111111111111111111
+  575   23 A . . . . . . . . . .0111111111111111111111110  by A/1 * 22
   576   22 B . . . . . . . . . .0111111111111111111111111
+  599   -1 B . . . . . . . . . .0111111111111111111111111   by B/1 * 23
   600    0 C . . . . . . . . . .0111111111111111111111111
   601    1 A . . . . . . . . . .0111111111111111111111111
+  624   24 A . . . . . . . . . .01111111111111111111111110   by A/1 * 23
   625   23 B . . . . . . . . . .01111111111111111111111111
+  649   -1 B . . . . . . . . . .01111111111111111111111111  by B/1 * 24
   650    0 C . . . . . . . . . .01111111111111111111111111
   651    1 A . . . . . . . . . .01111111111111111111111111
+  675   25 A . . . . . . . . . .011111111111111111111111110  by A/1 * 24
   676   24 B . . . . . . . . . .011111111111111111111111111
+  701   -1 B . . . . . . . . . .011111111111111111111111111   by B/1 * 25
   702    0 C . . . . . . . . . .011111111111111111111111111
   703    1 A . . . . . . . . . .011111111111111111111111111
+  728   26 A . . . . . . . . . .0111111111111111111111111110   by A/1 * 25
   729   25 B . . . . . . . . . .0111111111111111111111111111
+  755   -1 B . . . . . . . . . .0111111111111111111111111111  by B/1 * 26
   756    0 C . . . . . . . . . .0111111111111111111111111111
   757    1 A . . . . . . . . . .0111111111111111111111111111
+  783   27 A . . . . . . . . . .01111111111111111111111111110  by A/1 * 26
   784   26 B . . . . . . . . . .01111111111111111111111111111
+  811   -1 B . . . . . . . . . .01111111111111111111111111111   by B/1 * 27
   812    0 C . . . . . . . . . .01111111111111111111111111111
   813    1 A . . . . . . . . . .01111111111111111111111111111
+  840   28 A . . . . . . . . . .011111111111111111111111111110   by A/1 * 27
   841   27 B . . . . . . . . . .011111111111111111111111111111
+  869   -1 B . . . . . . . . . .011111111111111111111111111111  by B/1 * 28
   870    0 C . . . . . . . . . .011111111111111111111111111111
   871    1 A . . . . . . . . . .011111111111111111111111111111
+  899   29 A . . . . . . . . . .0111111111111111111111111111110  by A/1 * 28
   900   28 B . . . . . . . . . .0111111111111111111111111111111
+  929   -1 B . . . . . . . . . .0111111111111111111111111111111   by B/1 * 29
   930    0 C . . . . . . . . . .0111111111111111111111111111111
   931    1 A . . . . . . . . . .0111111111111111111111111111111
+  960   30 A . . . . . . . . . .01111111111111111111111111111110   by A/1 * 29
   961   29 B . . . . . . . . . .01111111111111111111111111111111
+  991   -1 B . . . . . . . . . .01111111111111111111111111111111  by B/1 * 30
   992    0 C . . . . . . . . . .01111111111111111111111111111111
   993    1 A . . . . . . . . . .01111111111111111111111111111111
+ 1023   31 A . . . . . . . . . .011111111111111111111111111111110  by A/1 * 30
  1024   30 B . . . . . . . . . .011111111111111111111111111111111
+ 1055   -1 B . . . . . . . . . .011111111111111111111111111111111   by B/1 * 31
  1056    0 C . . . . . . . . . .011111111111111111111111111111111
  1057    1 A . . . . . . . . . .011111111111111111111111111111111
+ 1088   32 A . . . . . . . . . .0111111111111111111111111111111110   by A/1 * 31
  1089   31 B . . . . . . . . . .0111111111111111111111111111111111
+ 1121   -1 B . . . . . . . . . .0111111111111111111111111111111111  by B/1 * 32
  1122    0 C . . . . . . . . . .0111111111111111111111111111111111
  1123    1 A . . . . . . . . . .0111111111111111111111111111111111
+ 1155   33 A . . . . . . . . . .01111111111111111111111111111111110  by A/1 * 32
  1156   32 B . . . . . . . . . .01111111111111111111111111111111111
+ 1189   -1 B . . . . . . . . . .01111111111111111111111111111111111   by B/1 * 33
  1190    0 C . . . . . . . . . .01111111111111111111111111111111111
  1191    1 A . . . . . . . . . .01111111111111111111111111111111111
+ 1224   34 A . . . . . . . . . .011111111111111111111111111111111110   by A/1 * 33
  1225   33 B . . . . . . . . . .011111111111111111111111111111111111
+ 1259   -1 B . . . . . . . . . .011111111111111111111111111111111111  by B/1 * 34
  1260    0 C . . . . . . . . . .011111111111111111111111111111111111
  1261    1 A . . . . . . . . . .011111111111111111111111111111111111
+ 1295   35 A . . . . . . . . . .0111111111111111111111111111111111110  by A/1 * 34
  1296   34 B . . . . . . . . . .0111111111111111111111111111111111111
+ 1331   -1 B . . . . . . . . . .0111111111111111111111111111111111111   by B/1 * 35
  1332    0 C . . . . . . . . . .0111111111111111111111111111111111111
  1333    1 A . . . . . . . . . .0111111111111111111111111111111111111
+ 1368   36 A . . . . . . . . . .01111111111111111111111111111111111110   by A/1 * 35
  1369   35 B . . . . . . . . . .01111111111111111111111111111111111111
+ 1405   -1 B . . . . . . . . . .01111111111111111111111111111111111111  by B/1 * 36
  1406    0 C . . . . . . . . . .01111111111111111111111111111111111111
  1407    1 A . . . . . . . . . .01111111111111111111111111111111111111
+ 1443   37 A . . . . . . . . . .011111111111111111111111111111111111110  by A/1 * 36
  1444   36 B . . . . . . . . . .011111111111111111111111111111111111111
+ 1481   -1 B . . . . . . . . . .011111111111111111111111111111111111111   by B/1 * 37
  1482    0 C . . . . . . . . . .011111111111111111111111111111111111111
  1483    1 A . . . . . . . . . .011111111111111111111111111111111111111
+ 1520   38 A . . . . . . . . . .0111111111111111111111111111111111111110   by A/1 * 37
  1521   37 B . . . . . . . . . .0111111111111111111111111111111111111111
+ 1559   -1 B . . . . . . . . . .0111111111111111111111111111111111111111  by B/1 * 38
  1560    0 C . . . . . . . . . .0111111111111111111111111111111111111111
  1561    1 A . . . . . . . . . .0111111111111111111111111111111111111111
+ 1599   39 A . . . . . . . . . .01111111111111111111111111111111111111110  by A/1 * 38
  1600   38 B . . . . . . . . . .01111111111111111111111111111111111111111
+ 1639   -1 B . . . . . . . . . .01111111111111111111111111111111111111111   by B/1 * 39
  1640    0 C . . . . . . . . . .01111111111111111111111111111111111111111
  1641    1 A . . . . . . . . . .01111111111111111111111111111111111111111
+ 1680   40 A . . . . . . . . . .011111111111111111111111111111111111111110   by A/1 * 39
  1681   39 B . . . . . . . . . .011111111111111111111111111111111111111111
+ 1721   -1 B . . . . . . . . . .011111111111111111111111111111111111111111  by B/1 * 40

After 1721 steps (201 lines): state = B.
Produced     41 ones.
Tape index -1, scanned [-1 .. 40].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 821 41 780 0 7
B 860 40 820 1 4
C 40   40   2
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:10:14 CEST 2010