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
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 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
    10    0 B . . . . . . . . . .0111
    11   -1 B . . . . . . . . . .0111
    12    0 C . . . . . . . . . .0111
    13    1 A . . . . . . . . . .0111
    14    2 A . . . . . . . . . .0111
    15    3 A . . . . . . . . . .01110
    16    2 B . . . . . . . . . .01111
    17    1 B . . . . . . . . . .01111
    18    0 B . . . . . . . . . .01111
    19   -1 B . . . . . . . . . .01111
    20    0 C . . . . . . . . . .01111
    21    1 A . . . . . . . . . .01111
    22    2 A . . . . . . . . . .01111
    23    3 A . . . . . . . . . .01111
    24    4 A . . . . . . . . . .011110
    25    3 B . . . . . . . . . .011111
    26    2 B . . . . . . . . . .011111
    27    1 B . . . . . . . . . .011111
    28    0 B . . . . . . . . . .011111
    29   -1 B . . . . . . . . . .011111
    30    0 C . . . . . . . . . .011111
    31    1 A . . . . . . . . . .011111
    32    2 A . . . . . . . . . .011111
    33    3 A . . . . . . . . . .011111
    34    4 A . . . . . . . . . .011111
    35    5 A . . . . . . . . . .0111110
    36    4 B . . . . . . . . . .0111111
    37    3 B . . . . . . . . . .0111111
    38    2 B . . . . . . . . . .0111111
    39    1 B . . . . . . . . . .0111111
    40    0 B . . . . . . . . . .0111111
    41   -1 B . . . . . . . . . .0111111
    42    0 C . . . . . . . . . .0111111
    43    1 A . . . . . . . . . .0111111
    44    2 A . . . . . . . . . .0111111
    45    3 A . . . . . . . . . .0111111
    46    4 A . . . . . . . . . .0111111
    47    5 A . . . . . . . . . .0111111
    48    6 A . . . . . . . . . .01111110
    49    5 B . . . . . . . . . .01111111
    50    4 B . . . . . . . . . .01111111
    51    3 B . . . . . . . . . .01111111
    52    2 B . . . . . . . . . .01111111
    53    1 B . . . . . . . . . .01111111
    54    0 B . . . . . . . . . .01111111
    55   -1 B . . . . . . . . . .01111111
    56    0 C . . . . . . . . . .01111111
    57    1 A . . . . . . . . . .01111111
    58    2 A . . . . . . . . . .01111111
    59    3 A . . . . . . . . . .01111111
    60    4 A . . . . . . . . . .01111111
    61    5 A . . . . . . . . . .01111111
    62    6 A . . . . . . . . . .01111111
    63    7 A . . . . . . . . . .011111110
    64    6 B . . . . . . . . . .011111111
    65    5 B . . . . . . . . . .011111111
    66    4 B . . . . . . . . . .011111111
    67    3 B . . . . . . . . . .011111111
    68    2 B . . . . . . . . . .011111111
    69    1 B . . . . . . . . . .011111111
    70    0 B . . . . . . . . . .011111111
    71   -1 B . . . . . . . . . .011111111
    72    0 C . . . . . . . . . .011111111
    73    1 A . . . . . . . . . .011111111
    74    2 A . . . . . . . . . .011111111
    75    3 A . . . . . . . . . .011111111
    76    4 A . . . . . . . . . .011111111
    77    5 A . . . . . . . . . .011111111
    78    6 A . . . . . . . . . .011111111
    79    7 A . . . . . . . . . .011111111
    80    8 A . . . . . . . . . .0111111110
    81    7 B . . . . . . . . . .0111111111
    82    6 B . . . . . . . . . .0111111111
    83    5 B . . . . . . . . . .0111111111
    84    4 B . . . . . . . . . .0111111111
    85    3 B . . . . . . . . . .0111111111
    86    2 B . . . . . . . . . .0111111111
    87    1 B . . . . . . . . . .0111111111
    88    0 B . . . . . . . . . .0111111111
    89   -1 B . . . . . . . . . .0111111111
    90    0 C . . . . . . . . . .0111111111
    91    1 A . . . . . . . . . .0111111111
    92    2 A . . . . . . . . . .0111111111
    93    3 A . . . . . . . . . .0111111111
    94    4 A . . . . . . . . . .0111111111
    95    5 A . . . . . . . . . .0111111111
    96    6 A . . . . . . . . . .0111111111
    97    7 A . . . . . . . . . .0111111111
    98    8 A . . . . . . . . . .0111111111
    99    9 A . . . . . . . . . .01111111110
   100    8 B . . . . . . . . . .01111111111
   101    7 B . . . . . . . . . .01111111111
   102    6 B . . . . . . . . . .01111111111
   103    5 B . . . . . . . . . .01111111111
   104    4 B . . . . . . . . . .01111111111
   105    3 B . . . . . . . . . .01111111111
   106    2 B . . . . . . . . . .01111111111
   107    1 B . . . . . . . . . .01111111111
   108    0 B . . . . . . . . . .01111111111
   109   -1 B . . . . . . . . . .01111111111
   110    0 C . . . . . . . . . .01111111111
   111    1 A . . . . . . . . . .01111111111
   112    2 A . . . . . . . . . .01111111111
   113    3 A . . . . . . . . . .01111111111
   114    4 A . . . . . . . . . .01111111111
   115    5 A . . . . . . . . . .01111111111
   116    6 A . . . . . . . . . .01111111111
   117    7 A . . . . . . . . . .01111111111
   118    8 A . . . . . . . . . .01111111111
   119    9 A . . . . . . . . . .01111111111
   120   10 A . . . . . . . . . .011111111110
   121    9 B . . . . . . . . . .011111111111
   122    8 B . . . . . . . . . .011111111111
   123    7 B . . . . . . . . . .011111111111
   124    6 B . . . . . . . . . .011111111111
   125    5 B . . . . . . . . . .011111111111
   126    4 B . . . . . . . . . .011111111111
   127    3 B . . . . . . . . . .011111111111
   128    2 B . . . . . . . . . .011111111111
   129    1 B . . . . . . . . . .011111111111
   130    0 B . . . . . . . . . .011111111111
   131   -1 B . . . . . . . . . .011111111111
   132    0 C . . . . . . . . . .011111111111
   133    1 A . . . . . . . . . .011111111111
   134    2 A . . . . . . . . . .011111111111
   135    3 A . . . . . . . . . .011111111111
   136    4 A . . . . . . . . . .011111111111
   137    5 A . . . . . . . . . .011111111111
   138    6 A . . . . . . . . . .011111111111
   139    7 A . . . . . . . . . .011111111111
   140    8 A . . . . . . . . . .011111111111
   141    9 A . . . . . . . . . .011111111111
   142   10 A . . . . . . . . . .011111111111
   143   11 A . . . . . . . . . .0111111111110
   144   10 B . . . . . . . . . .0111111111111
   145    9 B . . . . . . . . . .0111111111111
   146    8 B . . . . . . . . . .0111111111111
   147    7 B . . . . . . . . . .0111111111111
   148    6 B . . . . . . . . . .0111111111111
   149    5 B . . . . . . . . . .0111111111111
   150    4 B . . . . . . . . . .0111111111111
   151    3 B . . . . . . . . . .0111111111111
   152    2 B . . . . . . . . . .0111111111111
   153    1 B . . . . . . . . . .0111111111111
   154    0 B . . . . . . . . . .0111111111111
   155   -1 B . . . . . . . . . .0111111111111
   156    0 C . . . . . . . . . .0111111111111
   157    1 A . . . . . . . . . .0111111111111
   158    2 A . . . . . . . . . .0111111111111
   159    3 A . . . . . . . . . .0111111111111
   160    4 A . . . . . . . . . .0111111111111
   161    5 A . . . . . . . . . .0111111111111
   162    6 A . . . . . . . . . .0111111111111
   163    7 A . . . . . . . . . .0111111111111
   164    8 A . . . . . . . . . .0111111111111
   165    9 A . . . . . . . . . .0111111111111
   166   10 A . . . . . . . . . .0111111111111
   167   11 A . . . . . . . . . .0111111111111
   168   12 A . . . . . . . . . .01111111111110
   169   11 B . . . . . . . . . .01111111111111
   170   10 B . . . . . . . . . .01111111111111
   171    9 B . . . . . . . . . .01111111111111
   172    8 B . . . . . . . . . .01111111111111
   173    7 B . . . . . . . . . .01111111111111
   174    6 B . . . . . . . . . .01111111111111
   175    5 B . . . . . . . . . .01111111111111
   176    4 B . . . . . . . . . .01111111111111
   177    3 B . . . . . . . . . .01111111111111
   178    2 B . . . . . . . . . .01111111111111
   179    1 B . . . . . . . . . .01111111111111
   180    0 B . . . . . . . . . .01111111111111
   181   -1 B . . . . . . . . . .01111111111111
   182    0 C . . . . . . . . . .01111111111111
   183    1 A . . . . . . . . . .01111111111111
   184    2 A . . . . . . . . . .01111111111111
   185    3 A . . . . . . . . . .01111111111111
   186    4 A . . . . . . . . . .01111111111111
   187    5 A . . . . . . . . . .01111111111111
   188    6 A . . . . . . . . . .01111111111111
   189    7 A . . . . . . . . . .01111111111111
   190    8 A . . . . . . . . . .01111111111111
   191    9 A . . . . . . . . . .01111111111111
   192   10 A . . . . . . . . . .01111111111111
   193   11 A . . . . . . . . . .01111111111111
   194   12 A . . . . . . . . . .01111111111111
   195   13 A . . . . . . . . . .011111111111110
   196   12 B . . . . . . . . . .011111111111111
   197   11 B . . . . . . . . . .011111111111111
   198   10 B . . . . . . . . . .011111111111111
   199    9 B . . . . . . . . . .011111111111111
   200    8 B . . . . . . . . . .011111111111111

After 200 steps (201 lines): state = B.
Produced     14 ones.
Tape index 8, scanned [-1 .. 13].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 92 14 78 0 7
B 95 13 82 1 4
C 13   13   2
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:10:14 CEST 2010