3-state 3-symbol champion #16,812,191 of Allen Brady

Comment: A.B.: 2 1 1 0 0 0 3-1 2 3-1 1 2 1 2 2-1 1 1-1 1 2 1 0 1-1 2
Comment: The halting transition has been modified to print a 1
Comment: This TM produces 13949 nonzeros in 92649163 steps.

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0
on
1
on
2
on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
A B1R Z1= C2L 1 right B 1 stay Z 2 left C
B C1L B2R B1L 1 left C 2 right B 1 left B
C A1L B0R A2L 1 left A 0 right B 2 left 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 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.

  Step Tpos St Tape contents
     0    0 A . . . . . . . . . . . . . . . . . . . . . . . . . 0
     1    1 B . . . . . . . . . . . . . . . . . . . . . . . . . 10
     2    0 C . . . . . . . . . . . . . . . . . . . . . . . . . 11
     3    1 B . . . . . . . . . . . . . . . . . . . . . . . . . 01
     4    2 B . . . . . . . . . . . . . . . . . . . . . . . . . 020
     5    1 C . . . . . . . . . . . . . . . . . . . . . . . . . 021
     6    0 A . . . . . . . . . . . . . . . . . . . . . . . . . 021
     7    1 B . . . . . . . . . . . . . . . . . . . . . . . . . 121
     8    0 B . . . . . . . . . . . . . . . . . . . . . . . . . 111
     9    1 B . . . . . . . . . . . . . . . . . . . . . . . . . 211
    10    2 B . . . . . . . . . . . . . . . . . . . . . . . . . 221
    11    3 B . . . . . . . . . . . . . . . . . . . . . . . . . 2220
    12    2 C . . . . . . . . . . . . . . . . . . . . . . . . . 2221
    13    1 A . . . . . . . . . . . . . . . . . . . . . . . . . 2221
    14    0 C . . . . . . . . . . . . . . . . . . . . . . . . . 2221
    15   -1 A . . . . . . . . . . . . . . . . . . . . . . . . .02221
    16    0 B . . . . . . . . . . . . . . . . . . . . . . . . .12221
    17   -1 B . . . . . . . . . . . . . . . . . . . . . . . . .11221
    18    0 B . . . . . . . . . . . . . . . . . . . . . . . . .21221
    19    1 B . . . . . . . . . . . . . . . . . . . . . . . . .22221
    20    0 B . . . . . . . . . . . . . . . . . . . . . . . . .22121
    21   -1 B . . . . . . . . . . . . . . . . . . . . . . . . .21121
    22   -2 B . . . . . . . . . . . . . . . . . . . . . . . . 011121
    23   -3 C . . . . . . . . . . . . . . . . . . . . . . . .0111121
    24   -4 A . . . . . . . . . . . . . . . . . . . . . . . 01111121
    25   -3 B . . . . . . . . . . . . . . . . . . . . . . . 11111121
    26   -2 B . . . . . . . . . . . . . . . . . . . . . . . 12111121
    27   -1 B . . . . . . . . . . . . . . . . . . . . . . . 12211121
    28    0 B . . . . . . . . . . . . . . . . . . . . . . . 12221121
    29    1 B . . . . . . . . . . . . . . . . . . . . . . . 12222121
    30    2 B . . . . . . . . . . . . . . . . . . . . . . . 12222221
    31    1 B . . . . . . . . . . . . . . . . . . . . . . . 12222211
    32    0 B . . . . . . . . . . . . . . . . . . . . . . . 12222111
    33   -1 B . . . . . . . . . . . . . . . . . . . . . . . 12221111
    34   -2 B . . . . . . . . . . . . . . . . . . . . . . . 12211111
    35   -3 B . . . . . . . . . . . . . . . . . . . . . . . 12111111
    36   -4 B . . . . . . . . . . . . . . . . . . . . . . . 11111111
    37   -3 B . . . . . . . . . . . . . . . . . . . . . . . 21111111
    38   -2 B . . . . . . . . . . . . . . . . . . . . . . . 22111111
    39   -1 B . . . . . . . . . . . . . . . . . . . . . . . 22211111
    40    0 B . . . . . . . . . . . . . . . . . . . . . . . 22221111
    41    1 B . . . . . . . . . . . . . . . . . . . . . . . 22222111
    42    2 B . . . . . . . . . . . . . . . . . . . . . . . 22222211
    43    3 B . . . . . . . . . . . . . . . . . . . . . . . 22222221
    44    4 B . . . . . . . . . . . . . . . . . . . . . . . 222222220
    45    3 C . . . . . . . . . . . . . . . . . . . . . . . 222222221
    46    2 A . . . . . . . . . . . . . . . . . . . . . . . 222222221
    47    1 C . . . . . . . . . . . . . . . . . . . . . . . 222222221
    48    0 A . . . . . . . . . . . . . . . . . . . . . . . 222222221
    49   -1 C . . . . . . . . . . . . . . . . . . . . . . . 222222221
    50   -2 A . . . . . . . . . . . . . . . . . . . . . . . 222222221
    51   -3 C . . . . . . . . . . . . . . . . . . . . . . . 222222221
    52   -4 A . . . . . . . . . . . . . . . . . . . . . . . 222222221
    53   -5 C . . . . . . . . . . . . . . . . . . . . . . .0222222221
    54   -6 A . . . . . . . . . . . . . . . . . . . . . . 01222222221
    55   -5 B . . . . . . . . . . . . . . . . . . . . . . 11222222221
    56   -4 B . . . . . . . . . . . . . . . . . . . . . . 12222222221
    57   -5 B . . . . . . . . . . . . . . . . . . . . . . 12122222221
    58   -6 B . . . . . . . . . . . . . . . . . . . . . . 11122222221
    59   -5 B . . . . . . . . . . . . . . . . . . . . . . 21122222221
    60   -4 B . . . . . . . . . . . . . . . . . . . . . . 22122222221
    61   -3 B . . . . . . . . . . . . . . . . . . . . . . 22222222221
    62   -4 B . . . . . . . . . . . . . . . . . . . . . . 22212222221
    63   -5 B . . . . . . . . . . . . . . . . . . . . . . 22112222221
    64   -6 B . . . . . . . . . . . . . . . . . . . . . . 21112222221
    65   -7 B . . . . . . . . . . . . . . . . . . . . . .011112222221
    66   -8 C . . . . . . . . . . . . . . . . . . . . . 0111112222221
    67   -9 A . . . . . . . . . . . . . . . . . . . . .01111112222221
    68   -8 B . . . . . . . . . . . . . . . . . . . . .11111112222221
    69   -7 B . . . . . . . . . . . . . . . . . . . . .12111112222221
    70   -6 B . . . . . . . . . . . . . . . . . . . . .12211112222221
    71   -5 B . . . . . . . . . . . . . . . . . . . . .12221112222221
    72   -4 B . . . . . . . . . . . . . . . . . . . . .12222112222221
    73   -3 B . . . . . . . . . . . . . . . . . . . . .12222212222221
    74   -2 B . . . . . . . . . . . . . . . . . . . . .12222222222221
    75   -3 B . . . . . . . . . . . . . . . . . . . . .12222221222221
    76   -4 B . . . . . . . . . . . . . . . . . . . . .12222211222221
    77   -5 B . . . . . . . . . . . . . . . . . . . . .12222111222221
    78   -6 B . . . . . . . . . . . . . . . . . . . . .12221111222221
    79   -7 B . . . . . . . . . . . . . . . . . . . . .12211111222221
    80   -8 B . . . . . . . . . . . . . . . . . . . . .12111111222221
    81   -9 B . . . . . . . . . . . . . . . . . . . . .11111111222221
    82   -8 B . . . . . . . . . . . . . . . . . . . . .21111111222221
    83   -7 B . . . . . . . . . . . . . . . . . . . . .22111111222221
    84   -6 B . . . . . . . . . . . . . . . . . . . . .22211111222221
    85   -5 B . . . . . . . . . . . . . . . . . . . . .22221111222221
    86   -4 B . . . . . . . . . . . . . . . . . . . . .22222111222221
    87   -3 B . . . . . . . . . . . . . . . . . . . . .22222211222221
    88   -2 B . . . . . . . . . . . . . . . . . . . . .22222221222221
    89   -1 B . . . . . . . . . . . . . . . . . . . . .22222222222221
    90   -2 B . . . . . . . . . . . . . . . . . . . . .22222222122221
    91   -3 B . . . . . . . . . . . . . . . . . . . . .22222221122221
    92   -4 B . . . . . . . . . . . . . . . . . . . . .22222211122221
    93   -5 B . . . . . . . . . . . . . . . . . . . . .22222111122221
    94   -6 B . . . . . . . . . . . . . . . . . . . . .22221111122221
    95   -7 B . . . . . . . . . . . . . . . . . . . . .22211111122221
    96   -8 B . . . . . . . . . . . . . . . . . . . . .22111111122221
    97   -9 B . . . . . . . . . . . . . . . . . . . . .21111111122221
    98  -10 B . . . . . . . . . . . . . . . . . . . . 011111111122221
    99  -11 C . . . . . . . . . . . . . . . . . . . .0111111111122221
   100  -12 A . . . . . . . . . . . . . . . . . . . 01111111111122221
   101  -11 B . . . . . . . . . . . . . . . . . . . 11111111111122221
   102  -10 B . . . . . . . . . . . . . . . . . . . 12111111111122221
   103   -9 B . . . . . . . . . . . . . . . . . . . 12211111111122221
   104   -8 B . . . . . . . . . . . . . . . . . . . 12221111111122221
   105   -7 B . . . . . . . . . . . . . . . . . . . 12222111111122221
   106   -6 B . . . . . . . . . . . . . . . . . . . 12222211111122221
   107   -5 B . . . . . . . . . . . . . . . . . . . 12222221111122221
   108   -4 B . . . . . . . . . . . . . . . . . . . 12222222111122221
   109   -3 B . . . . . . . . . . . . . . . . . . . 12222222211122221
   110   -2 B . . . . . . . . . . . . . . . . . . . 12222222221122221
   111   -1 B . . . . . . . . . . . . . . . . . . . 12222222222122221
   112    0 B . . . . . . . . . . . . . . . . . . . 12222222222222221
   113   -1 B . . . . . . . . . . . . . . . . . . . 12222222222212221
   114   -2 B . . . . . . . . . . . . . . . . . . . 12222222222112221
   115   -3 B . . . . . . . . . . . . . . . . . . . 12222222221112221
   116   -4 B . . . . . . . . . . . . . . . . . . . 12222222211112221
   117   -5 B . . . . . . . . . . . . . . . . . . . 12222222111112221
   118   -6 B . . . . . . . . . . . . . . . . . . . 12222221111112221
   119   -7 B . . . . . . . . . . . . . . . . . . . 12222211111112221
   120   -8 B . . . . . . . . . . . . . . . . . . . 12222111111112221
   121   -9 B . . . . . . . . . . . . . . . . . . . 12221111111112221
   122  -10 B . . . . . . . . . . . . . . . . . . . 12211111111112221
   123  -11 B . . . . . . . . . . . . . . . . . . . 12111111111112221
   124  -12 B . . . . . . . . . . . . . . . . . . . 11111111111112221
   125  -11 B . . . . . . . . . . . . . . . . . . . 21111111111112221
   126  -10 B . . . . . . . . . . . . . . . . . . . 22111111111112221
   127   -9 B . . . . . . . . . . . . . . . . . . . 22211111111112221
   128   -8 B . . . . . . . . . . . . . . . . . . . 22221111111112221
   129   -7 B . . . . . . . . . . . . . . . . . . . 22222111111112221
   130   -6 B . . . . . . . . . . . . . . . . . . . 22222211111112221
   131   -5 B . . . . . . . . . . . . . . . . . . . 22222221111112221
   132   -4 B . . . . . . . . . . . . . . . . . . . 22222222111112221
   133   -3 B . . . . . . . . . . . . . . . . . . . 22222222211112221
   134   -2 B . . . . . . . . . . . . . . . . . . . 22222222221112221
   135   -1 B . . . . . . . . . . . . . . . . . . . 22222222222112221
   136    0 B . . . . . . . . . . . . . . . . . . . 22222222222212221
   137    1 B . . . . . . . . . . . . . . . . . . . 22222222222222221
   138    0 B . . . . . . . . . . . . . . . . . . . 22222222222221221
   139   -1 B . . . . . . . . . . . . . . . . . . . 22222222222211221
   140   -2 B . . . . . . . . . . . . . . . . . . . 22222222222111221
   141   -3 B . . . . . . . . . . . . . . . . . . . 22222222221111221
   142   -4 B . . . . . . . . . . . . . . . . . . . 22222222211111221
   143   -5 B . . . . . . . . . . . . . . . . . . . 22222222111111221
   144   -6 B . . . . . . . . . . . . . . . . . . . 22222221111111221
   145   -7 B . . . . . . . . . . . . . . . . . . . 22222211111111221
   146   -8 B . . . . . . . . . . . . . . . . . . . 22222111111111221
   147   -9 B . . . . . . . . . . . . . . . . . . . 22221111111111221
   148  -10 B . . . . . . . . . . . . . . . . . . . 22211111111111221
   149  -11 B . . . . . . . . . . . . . . . . . . . 22111111111111221
   150  -12 B . . . . . . . . . . . . . . . . . . . 21111111111111221
   151  -13 B . . . . . . . . . . . . . . . . . . .011111111111111221
   152  -14 C . . . . . . . . . . . . . . . . . . 0111111111111111221
   153  -15 A . . . . . . . . . . . . . . . . . .01111111111111111221
   154  -14 B . . . . . . . . . . . . . . . . . .11111111111111111221
   155  -13 B . . . . . . . . . . . . . . . . . .12111111111111111221
   156  -12 B . . . . . . . . . . . . . . . . . .12211111111111111221
   157  -11 B . . . . . . . . . . . . . . . . . .12221111111111111221
   158  -10 B . . . . . . . . . . . . . . . . . .12222111111111111221
   159   -9 B . . . . . . . . . . . . . . . . . .12222211111111111221
   160   -8 B . . . . . . . . . . . . . . . . . .12222221111111111221
   161   -7 B . . . . . . . . . . . . . . . . . .12222222111111111221
   162   -6 B . . . . . . . . . . . . . . . . . .12222222211111111221
   163   -5 B . . . . . . . . . . . . . . . . . .12222222221111111221
   164   -4 B . . . . . . . . . . . . . . . . . .12222222222111111221
   165   -3 B . . . . . . . . . . . . . . . . . .12222222222211111221
   166   -2 B . . . . . . . . . . . . . . . . . .12222222222221111221
   167   -1 B . . . . . . . . . . . . . . . . . .12222222222222111221
   168    0 B . . . . . . . . . . . . . . . . . .12222222222222211221
   169    1 B . . . . . . . . . . . . . . . . . .12222222222222221221
   170    2 B . . . . . . . . . . . . . . . . . .12222222222222222221
   171    1 B . . . . . . . . . . . . . . . . . .12222222222222222121
   172    0 B . . . . . . . . . . . . . . . . . .12222222222222221121
   173   -1 B . . . . . . . . . . . . . . . . . .12222222222222211121
   174   -2 B . . . . . . . . . . . . . . . . . .12222222222222111121
   175   -3 B . . . . . . . . . . . . . . . . . .12222222222221111121
   176   -4 B . . . . . . . . . . . . . . . . . .12222222222211111121
   177   -5 B . . . . . . . . . . . . . . . . . .12222222222111111121
   178   -6 B . . . . . . . . . . . . . . . . . .12222222221111111121
   179   -7 B . . . . . . . . . . . . . . . . . .12222222211111111121
   180   -8 B . . . . . . . . . . . . . . . . . .12222222111111111121
   181   -9 B . . . . . . . . . . . . . . . . . .12222221111111111121
   182  -10 B . . . . . . . . . . . . . . . . . .12222211111111111121
   183  -11 B . . . . . . . . . . . . . . . . . .12222111111111111121
   184  -12 B . . . . . . . . . . . . . . . . . .12221111111111111121
   185  -13 B . . . . . . . . . . . . . . . . . .12211111111111111121
   186  -14 B . . . . . . . . . . . . . . . . . .12111111111111111121
   187  -15 B . . . . . . . . . . . . . . . . . .11111111111111111121
   188  -14 B . . . . . . . . . . . . . . . . . .21111111111111111121
   189  -13 B . . . . . . . . . . . . . . . . . .22111111111111111121
   190  -12 B . . . . . . . . . . . . . . . . . .22211111111111111121
   191  -11 B . . . . . . . . . . . . . . . . . .22221111111111111121
   192  -10 B . . . . . . . . . . . . . . . . . .22222111111111111121
   193   -9 B . . . . . . . . . . . . . . . . . .22222211111111111121
   194   -8 B . . . . . . . . . . . . . . . . . .22222221111111111121
   195   -7 B . . . . . . . . . . . . . . . . . .22222222111111111121
   196   -6 B . . . . . . . . . . . . . . . . . .22222222211111111121
   197   -5 B . . . . . . . . . . . . . . . . . .22222222221111111121
   198   -4 B . . . . . . . . . . . . . . . . . .22222222222111111121
   199   -3 B . . . . . . . . . . . . . . . . . .22222222222211111121
   200   -2 B . . . . . . . . . . . . . . . . . .22222222222221111121

After 200 steps (201 lines): state = B.
Produced     20 nonzeros.
Tape index -2, scanned [-15 .. 4].
State Count Execution count First in step
on 0 on 1 on 2 on 0 on 1 on 2
A 13 8   5 0   13
B 174 8 90 76 1 3 7
C 13 5 1 7 23 2 5
Execution statistics

The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-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:38 CEST 2010