5-state TM with unusual symbol size 9 

Comment: Found by jubu 1989-09-02, published first 2005-11-12 (on web)

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 C0L 1 left B 0 left C
B C1L Z== 1 left C Z stay =
C C1R D1R 1 right C 1 right D
D D1L E1L 1 left D 1 left E
E A1L A0L 1 left A 0 left A
Transition table 
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 9-macro machine.
The same TM as 9-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1    -1  <B 1
     2    -2  <C 1 1
     3    -1  1 C> 1 1
     4     0  1 1 D> 1
     5    -1  1 1 <E 1
     6    -2  1 <A 0 1
     7    -3  <C 0 0 1
     8    -2  1 C> 0 0 1
+   10     0  13 C> 1
    11     1  14 D>
    12     0  14 <D 1
    13    -1  13 <E 1 1
    14    -2  1 1 <A 0 1 1
    15    -3  1 <C 0 0 1 1
    16    -2  1 D> 0 0 1 1
    17    -3  1 <D 1 0 1 1
    18    -4  <E 1 1 0 1 1
    19    -5  <A 13 0 1 1
    20    -6  <B 14 0 1 1
    21    -7  <C 15 0 1 1
    22    -6  1 C> 15 0 1 1
    23    -5  1 1 D> 14 0 1 1
    24    -6  1 1 <E 14 0 1 1
    25    -7  1 <A 0 14 0 1 1
    26    -8  <C 0 0 14 0 1 1
    27    -7  1 C> 0 0 14 0 1 1
+   29    -5  13 C> 14 0 1 1
    30    -4  14 D> 13 0 1 1
    31    -5  14 <E 13 0 1 1
    32    -6  13 <A 0 13 0 1 1
    33    -7  1 1 <C 0 0 13 0 1 1
    34    -6  1 1 D> 0 0 13 0 1 1
    35    -7  1 1 <D 1 0 13 0 1 1
    36    -8  1 <E 1 1 0 13 0 1 1
    37    -9  <A 0 1 1 0 13 0 1 1
    38   -10  <B 1 0 1 1 0 13 0 1 1
    39   -11  <C 1 1 0 1 1 0 13 0 1 1
    40   -10  1 C> 1 1 0 1 1 0 13 0 1 1
    41    -9  1 1 D> 1 0 1 1 0 13 0 1 1
    42   -10  1 1 <E 1 0 1 1 0 13 0 1 1
    43   -11  1 <A 0 1 0 1 1 0 13 0 1 1
    44   -12  <C 0 0 1 0 1 1 0 13 0 1 1
    45   -11  1 C> 0 0 1 0 1 1 0 13 0 1 1
+   47    -9  13 C> 1 0 1 1 0 13 0 1 1
    48    -8  14 D> 0 1 1 0 13 0 1 1
    49    -9  14 <D 13 0 13 0 1 1
    50   -10  13 <E 14 0 13 0 1 1
    51   -11  1 1 <A 0 14 0 13 0 1 1
    52   -12  1 <C 0 0 14 0 13 0 1 1
    53   -11  1 D> 0 0 14 0 13 0 1 1
    54   -12  1 <D 1 0 14 0 13 0 1 1
    55   -13  <E 1 1 0 14 0 13 0 1 1
    56   -14  <A 13 0 14 0 13 0 1 1
    57   -15  <B 14 0 14 0 13 0 1 1
    58   -16  <C 15 0 14 0 13 0 1 1
    59   -15  1 C> 15 0 14 0 13 0 1 1
    60   -14  1 1 D> 14 0 14 0 13 0 1 1
    61   -15  1 1 <E 14 0 14 0 13 0 1 1
    62   -16  1 <A 0 14 0 14 0 13 0 1 1
    63   -17  <C 0 0 14 0 14 0 13 0 1 1
    64   -16  1 C> 0 0 14 0 14 0 13 0 1 1
+   66   -14  13 C> 14 0 14 0 13 0 1 1
    67   -13  14 D> 13 0 14 0 13 0 1 1
    68   -14  14 <E 13 0 14 0 13 0 1 1
    69   -15  13 <A 0 13 0 14 0 13 0 1 1
    70   -16  1 1 <C 0 0 13 0 14 0 13 0 1 1
    71   -15  1 1 D> 0 0 13 0 14 0 13 0 1 1
    72   -16  1 1 <D 1 0 13 0 14 0 13 0 1 1
    73   -17  1 <E 1 1 0 13 0 14 0 13 0 1 1
    74   -18  <A 0 1 1 0 13 0 14 0 13 0 1 1
    75   -19  <B 1 0 1 1 0 13 0 14 0 13 0 1 1
    76   -20  <C 1 1 0 1 1 0 13 0 14 0 13 0 1 1
    77   -19  1 C> 1 1 0 1 1 0 13 0 14 0 13 0 1 1
    78   -18  1 1 D> 1 0 1 1 0 13 0 14 0 13 0 1 1
    79   -19  1 1 <E 1 0 1 1 0 13 0 14 0 13 0 1 1
    80   -20  1 <A 0 1 0 1 1 0 13 0 14 0 13 0 1 1
    81   -21  <C 0 0 1 0 1 1 0 13 0 14 0 13 0 1 1
    82   -20  1 C> 0 0 1 0 1 1 0 13 0 14 0 13 0 1 1
+   84   -18  13 C> 1 0 1 1 0 13 0 14 0 13 0 1 1
    85   -17  14 D> 0 1 1 0 13 0 14 0 13 0 1 1
    86   -18  14 <D 13 0 13 0 14 0 13 0 1 1
    87   -19  13 <E 14 0 13 0 14 0 13 0 1 1
    88   -20  1 1 <A 0 14 0 13 0 14 0 13 0 1 1
    89   -21  1 <C 0 0 14 0 13 0 14 0 13 0 1 1
    90   -20  1 D> 0 0 14 0 13 0 14 0 13 0 1 1
    91   -21  1 <D 1 0 14 0 13 0 14 0 13 0 1 1
    92   -22  <E 1 1 0 14 0 13 0 14 0 13 0 1 1
    93   -23  <A 13 0 14 0 13 0 14 0 13 0 1 1
    94   -24  <B 14 0 14 0 13 0 14 0 13 0 1 1
    95   -25  <C 15 0 14 0 13 0 14 0 13 0 1 1
    96   -24  1 C> 15 0 14 0 13 0 14 0 13 0 1 1
    97   -23  1 1 D> 14 0 14 0 13 0 14 0 13 0 1 1
    98   -24  1 1 <E 14 0 14 0 13 0 14 0 13 0 1 1
    99   -25  1 <A 0 14 0 14 0 13 0 14 0 13 0 1 1
   100   -26  <C 0 0 14 0 14 0 13 0 14 0 13 0 1 1
   101   -25  1 C> 0 0 14 0 14 0 13 0 14 0 13 0 1 1
+  103   -23  13 C> 14 0 14 0 13 0 14 0 13 0 1 1
   104   -22  14 D> 13 0 14 0 13 0 14 0 13 0 1 1
   105   -23  14 <E 13 0 14 0 13 0 14 0 13 0 1 1
   106   -24  13 <A 0 13 0 14 0 13 0 14 0 13 0 1 1
   107   -25  1 1 <C 0 0 13 0 14 0 13 0 14 0 13 0 1 1
   108   -24  1 1 D> 0 0 13 0 14 0 13 0 14 0 13 0 1 1
   109   -25  1 1 <D 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   110   -26  1 <E 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   111   -27  <A 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   112   -28  <B 1 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   113   -29  <C 1 1 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   114   -28  1 C> 1 1 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   115   -27  1 1 D> 1 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   116   -28  1 1 <E 1 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   117   -29  1 <A 0 1 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   118   -30  <C 0 0 1 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   119   -29  1 C> 0 0 1 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
+  121   -27  13 C> 1 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   122   -26  14 D> 0 1 1 0 13 0 14 0 13 0 14 0 13 0 1 1
   123   -27  14 <D 13 0 13 0 14 0 13 0 14 0 13 0 1 1
   124   -28  13 <E 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   125   -29  1 1 <A 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   126   -30  1 <C 0 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   127   -29  1 D> 0 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   128   -30  1 <D 1 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   129   -31  <E 1 1 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   130   -32  <A 13 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   131   -33  <B 14 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   132   -34  <C 15 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   133   -33  1 C> 15 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   134   -32  1 1 D> 14 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   135   -33  1 1 <E 14 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   136   -34  1 <A 0 14 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1
   137   -35  <C 0 0 14 0 14 0 13 0 14 0 13 0 14 0 13 0 1 1

After 137 steps (131 lines): state = C.
Produced     27 ones.
Tape index -35, scanned [-34 .. 1].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 23 8 15 0 6
B 8 8   1  
C 51 29 22 2 3
D 33 11 22 11 4
E 22 4 18 18 5
Execution statistics 

The same TM just simple.

The same TM with repetitions reduced.

The same TM as 9-macro machine.

The same TM as 9-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:14:27 CEST 2010