4-Tuple BB7 #1 of Machado/Pereira

Comment: This TM produces 100 ones in 5093 steps.

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
0 11 30 1 stay 1 0 stay 3
1 2R 1R 0 right 2 1 right 1
2 3R 10 0 right 3 0 stay 1
3 4L *= 0 left 4 1 stay *
4 5R 1L 0 right 5 1 left 1
5 6R 6L 0 right 6 1 left 6
6 51 0L 1 stay 5 1 left 0
Transition table
Simulation is done just simple.
The same TM 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 0 . 0
     1    0 1 . 1
     2    1 1 . 10
     3    2 2 . 100
     4    3 3 . 1000
     5    2 4 . 1000
     6    3 5 . 1000
     7    4 6 . 10000
     8    4 5 . 10001
     9    3 6 . 10001
    10    3 5 . 10011
    11    2 6 . 10011
    12    2 5 . 10111
    13    1 6 . 10111
    14    1 5 . 11111
    15    0 6 . 11111
    16   -1 0 .011111
    17   -1 1 .111111
    18    0 1 .111111
    19    1 1 .111111
    20    2 1 .111111
    21    3 1 .111111
    22    4 1 .111111
    23    5 1 .1111110
    24    6 2 .11111100
    25    7 3 .111111000
    26    6 4 .111111000
    27    7 5 .111111000
    28    8 6 .1111110000
    29    8 5 .1111110001
    30    7 6 .1111110001
    31    7 5 .1111110011
    32    6 6 .1111110011
    33    6 5 .1111110111
    34    5 6 .1111110111
    35    5 5 .1111111111
    36    4 6 .1111111111
    37    3 0 .1111111111
    38    3 3 .1111011111
    39    2 4 .1111011111
    40    1 1 .1111011111
    41    2 1 .1111011111
    42    3 1 .1111011111
    43    4 2 .1111011111
    44    4 1 .1111001111
    45    5 2 .1111001111
    46    5 1 .1111000111
    47    6 2 .1111000111
    48    6 1 .1111000011
    49    7 2 .1111000011
    50    7 1 .1111000001
+   60   10 5 .1111000000011
+   70    5 5 .1111001111111
+   80    0 1 .1101111111111
+   90    6 2 .1100000111111
+  100   11 2 .1100000000001
+  110   12 6 .1100000000000011
+  120    7 6 .1100000001111111
+  130    2 6 .1100111111111111
   131    2 5 .1101111111111111
   132    1 6 .1101111111111111
   133    1 5 .1111111111111111
   134    0 6 .1111111111111111
   135   -1 0 .1111111111111111
   136   -1 3 .0111111111111111
   137   -2 4 00111111111111111
   138   -1 5 00111111111111111
   139    0 6 00111111111111111
   140   -1 0 00111111111111111
   141   -1 1 01111111111111111
   142    0 1 01111111111111111
   143    1 1 01111111111111111
   144    2 1 01111111111111111
   145    3 1 01111111111111111
   146    4 1 01111111111111111
   147    5 1 01111111111111111
   148    6 1 01111111111111111
   149    7 1 01111111111111111
   150    8 1 01111111111111111
   151    9 1 01111111111111111
   152   10 1 01111111111111111
   153   11 1 01111111111111111
   154   12 1 01111111111111111
   155   13 1 01111111111111111
   156   14 1 01111111111111111
   157   15 1 011111111111111110
   158   16 2 0111111111111111100
   159   17 3 01111111111111111000
   160   16 4 01111111111111111000
   161   17 5 01111111111111111000
   162   18 6 011111111111111110000
   163   18 5 011111111111111110001
   164   17 6 011111111111111110001
   165   17 5 011111111111111110011
   166   16 6 011111111111111110011
   167   16 5 011111111111111110111
   168   15 6 011111111111111110111
   169   15 5 011111111111111111111
   170   14 6 011111111111111111111
+  850    7 5 011000000111111111111111111111111111111111
   851    6 6 011000000111111111111111111111111111111111
   852    6 5 011000001111111111111111111111111111111111
   853    5 6 011000001111111111111111111111111111111111
   854    5 5 011000011111111111111111111111111111111111
   855    4 6 011000011111111111111111111111111111111111
   856    4 5 011000111111111111111111111111111111111111
   857    3 6 011000111111111111111111111111111111111111
   858    3 5 011001111111111111111111111111111111111111
   859    2 6 011001111111111111111111111111111111111111
   860    2 5 011011111111111111111111111111111111111111
   861    1 6 011011111111111111111111111111111111111111
   862    1 5 011111111111111111111111111111111111111111
   863    0 6 011111111111111111111111111111111111111111
   864   -1 0 011111111111111111111111111111111111111111
   865   -1 3 001111111111111111111111111111111111111111
   866   -2 4 001111111111111111111111111111111111111111
   867   -1 5 001111111111111111111111111111111111111111
   868    0 6 001111111111111111111111111111111111111111
   869   -1 0 001111111111111111111111111111111111111111
   870   -1 1 011111111111111111111111111111111111111111
   871    0 1 011111111111111111111111111111111111111111
   872    1 1 011111111111111111111111111111111111111111
   873    2 1 011111111111111111111111111111111111111111
   874    3 1 011111111111111111111111111111111111111111
   875    4 1 011111111111111111111111111111111111111111
   876    5 1 011111111111111111111111111111111111111111
   877    6 1 011111111111111111111111111111111111111111
   878    7 1 011111111111111111111111111111111111111111
   879    8 1 011111111111111111111111111111111111111111
   880    9 1 011111111111111111111111111111111111111111
   881   10 1 011111111111111111111111111111111111111111
   882   11 1 011111111111111111111111111111111111111111
   883   12 1 011111111111111111111111111111111111111111
   884   13 1 011111111111111111111111111111111111111111
   885   14 1 011111111111111111111111111111111111111111
   886   15 1 011111111111111111111111111111111111111111
   887   16 1 011111111111111111111111111111111111111111
   888   17 1 011111111111111111111111111111111111111111
   889   18 1 011111111111111111111111111111111111111111
   890   19 1 011111111111111111111111111111111111111111
   891   20 1 011111111111111111111111111111111111111111
   892   21 1 011111111111111111111111111111111111111111
   893   22 1 011111111111111111111111111111111111111111
   894   23 1 011111111111111111111111111111111111111111
   895   24 1 011111111111111111111111111111111111111111
   896   25 1 011111111111111111111111111111111111111111
   897   26 1 011111111111111111111111111111111111111111
   898   27 1 011111111111111111111111111111111111111111
   899   28 1 011111111111111111111111111111111111111111
   900   29 1 011111111111111111111111111111111111111111
   901   30 1 011111111111111111111111111111111111111111
   902   31 1 011111111111111111111111111111111111111111
   903   32 1 011111111111111111111111111111111111111111
   904   33 1 011111111111111111111111111111111111111111
   905   34 1 011111111111111111111111111111111111111111
   906   35 1 011111111111111111111111111111111111111111
   907   36 1 011111111111111111111111111111111111111111
   908   37 1 011111111111111111111111111111111111111111
   909   38 1 011111111111111111111111111111111111111111
   910   39 1 011111111111111111111111111111111111111111
   911   40 1 0111111111111111111111111111111111111111110
   912   41 2 01111111111111111111111111111111111111111100
   913   42 3 011111111111111111111111111111111111111111000
   914   41 4 011111111111111111111111111111111111111111000
   915   42 5 011111111111111111111111111111111111111111000
   916   43 6 0111111111111111111111111111111111111111110000
   917   43 5 0111111111111111111111111111111111111111110001
   918   42 6 0111111111111111111111111111111111111111110001
   919   42 5 0111111111111111111111111111111111111111110011
   920   41 6 0111111111111111111111111111111111111111110011
   921   41 5 0111111111111111111111111111111111111111110111
   922   40 6 0111111111111111111111111111111111111111110111
   923   40 5 0111111111111111111111111111111111111111111111
   924   39 6 0111111111111111111111111111111111111111111111
   925   38 0 0111111111111111111111111111111111111111111111
   926   38 3 0111111111111111111111111111111111111111011111
   927   37 4 0111111111111111111111111111111111111111011111
   928   36 1 0111111111111111111111111111111111111111011111
   929   37 1 0111111111111111111111111111111111111111011111
   930   38 1 0111111111111111111111111111111111111111011111
   931   39 2 0111111111111111111111111111111111111111011111
   932   39 1 0111111111111111111111111111111111111111001111
   933   40 2 0111111111111111111111111111111111111111001111
   934   40 1 0111111111111111111111111111111111111111000111
   935   41 2 0111111111111111111111111111111111111111000111
   936   41 1 0111111111111111111111111111111111111111000011
   937   42 2 0111111111111111111111111111111111111111000011
   938   42 1 0111111111111111111111111111111111111111000001
   939   43 2 0111111111111111111111111111111111111111000001
   940   43 1 0111111111111111111111111111111111111111000000
   941   44 2 01111111111111111111111111111111111111110000000
   942   45 3 011111111111111111111111111111111111111100000000
   943   44 4 011111111111111111111111111111111111111100000000
   944   45 5 011111111111111111111111111111111111111100000000
   945   46 6 0111111111111111111111111111111111111111000000000
   946   46 5 0111111111111111111111111111111111111111000000001
   947   45 6 0111111111111111111111111111111111111111000000001
   948   45 5 0111111111111111111111111111111111111111000000011
   949   44 6 0111111111111111111111111111111111111111000000011
   950   44 5 0111111111111111111111111111111111111111000000111
+ 1000   46 6 0111111111111111111111111111111111111100000000000111
+ 1050   45 1 0111111111111111111111111111111111110000000000001111
+ 1100   34 5 0111111111111111111111111111111111111111111111111111111
+ 1150   53 4 011111111111111111111111111111111100000000000000000000000
+ 1200   31 6 0111111111111111111111111111111111111111111111111111111111
+ 1250   52 1 0111111111111111111111111111111100000000000000000000000111
+ 1300   39 5 0111111111111111111111111111111100000000011111111111111111111
+ 1350   41 2 0111111111111111111111111111110000000000000111111111111111111
+ 1400   56 6 0111111111111111111111111111110000000000000000000000000000011111
+ 1450   31 6 0111111111111111111111111111110000111111111111111111111111111111
+ 1500   44 1 0111111111111111111111111111000000000000000000011111111111111111
+ 1550   59 5 0111111111111111111111111111000000000000000000000000000000000111111
+ 1600   34 5 0111111111111111111111111111000000001111111111111111111111111111111
+ 1650   38 2 0111111111111111111111111100000000000000111111111111111111111111111
+ 1700   63 2 0111111111111111111111111100000000000000000000000000000000000000011
+ 1750   46 6 0111111111111111111111111100000000000000000000000111111111111111111111
+ 1800   20 1 0111111111111111111111110111111111111111111111111111111111111111111111
+ 1850   46 1 0111111111111111111111110000000000000000000000000111111111111111111111
+ 1900   69 5 0111111111111111111111110000000000000000000000000000000000000000000000011
+ 1950   44 5 0111111111111111111111110000000000000000000000111111111111111111111111111
+ 2000   19 1 0111111111111111111111011111111111111111111111111111111111111111111111111
+ 2050   45 2 0111111111111111111111000000000000000000000000011111111111111111111111111
+ 2100   70 2 0111111111111111111111000000000000000000000000000000000000000000000000001
+ 2150   51 6 0111111111111111111111000000000000000000000000000000001111111111111111111111
+ 2200   26 6 0111111111111111111111000000011111111111111111111111111111111111111111111111
+ 2250   33 1 0111111111111111111100000000000000001111111111111111111111111111111111111111
+ 2300   58 1 0111111111111111111100000000000000000000000000000000000000000111111111111111
+ 2350   69 5 0111111111111111111100000000000000000000000000000000000000000000000000011111111
+ 2400   44 5 0111111111111111111100000000000000000000000000111111111111111111111111111111111
+ 2450   19 5 0111111111111111111101111111111111111111111111111111111111111111111111111111111
+ 2500   37 2 0111111111111111110000000000000000000001111111111111111111111111111111111111111
+ 2550   62 2 0111111111111111110000000000000000000000000000000000000000000000111111111111111
+ 2600   71 6 0111111111111111110000000000000000000000000000000000000000000000000000000011111111
+ 2650   46 6 0111111111111111110000000000000000000000000000000111111111111111111111111111111111
+ 2700   21 6 0111111111111111110000001111111111111111111111111111111111111111111111111111111111
+ 2750   30 1 0111111111111111000000000000000001111111111111111111111111111111111111111111111111
+ 2800   55 1 0111111111111111000000000000000000000000000000000000000000111111111111111111111111
+ 2850   81 3 011111111111111100000000000000000000000000000000000000000000000000000000000000000000
+ 2900   59 5 0111111111111111000000000000000000000000000000000000000000000111111111111111111111111
+ 2950   34 5 0111111111111111000000000000000000001111111111111111111111111111111111111111111111111
+ 3000   14 2 0111111111111100111111111111111111111111111111111111111111111111111111111111111111111
+ 3050   39 2 0111111111111100000000000000000000000000011111111111111111111111111111111111111111111
+ 3100   64 2 0111111111111100000000000000000000000000000000000000000000000000001111111111111111111
+ 3150   81 6 0111111111111100000000000000000000000000000000000000000000000000000000000000000000001111
+ 3200   56 6 0111111111111100000000000000000000000000000000000000000000011111111111111111111111111111
+ 3250   31 6 0111111111111100000000000000000000111111111111111111111111111111111111111111111111111111
+ 3300   12 1 0111111111110001111111111111111111111111111111111111111111111111111111111111111111111111
+ 3350   37 1 0111111111110000000000000000000000000000111111111111111111111111111111111111111111111111
+ 3400   62 1 0111111111110000000000000000000000000000000000000000000000000000011111111111111111111111
+ 3450   87 5 011111111111000000000000000000000000000000000000000000000000000000000000000000000000000000
+ 3500   64 5 0111111111110000000000000000000000000000000000000000000000000000001111111111111111111111111
+ 3550   39 5 0111111111110000000000000000000000000000011111111111111111111111111111111111111111111111111
+ 3600   14 5 0111111111110000111111111111111111111111111111111111111111111111111111111111111111111111111
+ 3650   26 2 0111111111000000000000000000111111111111111111111111111111111111111111111111111111111111111
+ 3700   51 2 0111111111000000000000000000000000000000000000000000011111111111111111111111111111111111111
+ 3750   76 2 0111111111000000000000000000000000000000000000000000000000000000000000000000001111111111111
+ 3800   81 6 0111111111000000000000000000000000000000000000000000000000000000000000000000000000001111111111
+ 3850   56 6 0111111111000000000000000000000000000000000000000000000000011111111111111111111111111111111111
+ 3900   31 6 0111111111000000000000000000000000111111111111111111111111111111111111111111111111111111111111
+ 3950    6 3 0111111101111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+ 4000   29 1 0111111100000000000000000000000011111111111111111111111111111111111111111111111111111111111111
+ 4050   54 1 0111111100000000000000000000000000000000000000000000000001111111111111111111111111111111111111
+ 4100   79 1 0111111100000000000000000000000000000000000000000000000000000000000000000000000000111111111111
+ 4150   84 5 0111111100000000000000000000000000000000000000000000000000000000000000000000000000000011111111111
+ 4200   59 5 0111111100000000000000000000000000000000000000000000000000000111111111111111111111111111111111111
+ 4250   34 5 0111111100000000000000000000000000001111111111111111111111111111111111111111111111111111111111111
+ 4300    9 5 0111111100011111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+ 4350   23 2 0111110000000000000000000111111111111111111111111111111111111111111111111111111111111111111111111
+ 4400   48 2 0111110000000000000000000000000000000000000000000011111111111111111111111111111111111111111111111
+ 4450   73 2 0111110000000000000000000000000000000000000000000000000000000000000000000001111111111111111111111
+ 4500   96 6 0111110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
+ 4550   71 6 0111110000000000000000000000000000000000000000000000000000000000000000000011111111111111111111111111
+ 4600   46 6 0111110000000000000000000000000000000000000000000111111111111111111111111111111111111111111111111111
+ 4650   21 6 0111110000000000000000001111111111111111111111111111111111111111111111111111111111111111111111111111
+ 4700    6 1 0111000001111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
+ 4750   31 1 0111000000000000000000000000000000111111111111111111111111111111111111111111111111111111111111111111
+ 4800   56 1 0111000000000000000000000000000000000000000000000000000000011111111111111111111111111111111111111111
+ 4850   81 1 0111000000000000000000000000000000000000000000000000000000000000000000000000000000001111111111111111
+ 4900   94 5 0111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001111111
+ 4950   69 5 0111000000000000000000000000000000000000000000000000000000000000000000011111111111111111111111111111111
+ 5000   44 5 0111000000000000000000000000000000000000000000111111111111111111111111111111111111111111111111111111111
+ 5050   19 5 0111000000000000000001111111111111111111111111111111111111111111111111111111111111111111111111111111111
+ 5076    6 5 0111000011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5077    5 6 0111000011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5078    5 5 0111000111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5079    4 6 0111000111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5080    4 5 0111001111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5081    3 6 0111001111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5082    3 5 0111011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5083    2 6 0111011111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5084    2 5 0111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5085    1 6 0111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5086    0 0 0111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5087    0 3 0101111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5088   -1 4 0101111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5089   -2 1 0101111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5090   -1 2 0101111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5091   -1 1 0001111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5092    0 2 0001111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
  5093    1 3 0001111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111

After 5093 steps (300 lines): state = 3.
Produced     100 ones.
Tape index 1, scanned [-2 .. 100].
State Count Execution count First in step
on 0 on 1 on 0 on 1
0 35 4 31 0 37
1 1259 1139 120 2 1
2 1139 33 1106 3 43
3 63 63   4  
4 63 34 29 5 39
5 1267 34 1233 6 8
6 1267 1233 34 7 15
Execution statistics

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

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