TM #3 from MaBu90-Paper 

Comment: symbol size 80

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 B0R 1 left B 0 right B
B C1R E0L 1 right C 0 left E
C A1L D0R 1 left A 0 right D
D C0R A1R 0 right C 1 right A
E C1L H1L 1 left C 1 left H
Transition table 
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 80-macro machine.
The same TM as 80-macro machine with pure additive config-TRs.

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

After 200 steps (201 lines): state = B.
Produced     14 ones.
Tape index -4, scanned [-10 .. 12].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 45 24 21 0 27
B 44 17 27 1 10
C 54 24 30 4 2
D 30 10 20 3 8
E 27 27   11  
Execution statistics 

The same TM just simple.

The same TM with repetitions reduced.

The same TM as 80-macro machine.

The same TM as 80-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:04 CEST 2010