2-state 5-symbol TM #i (G. Lafitte & C. Papazian)

Comment: This TM produces 4,848,239 nonzeros in 14,103,258,269,249 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
3
on
4
on 0 on 1 on 2 on 3 on 4
Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A B1R B3L B4L A4L A2R 1 right B 3 left B 4 left B 4 left A 2 right A
B A2L Z4L B3R A4R B3R 2 left A 4 left Z 3 right B 4 right A 3 right B
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 . . . 10
     2    0 A . . . 12
     3   -1 B . . .032
     4   -2 A . . 0232
     5   -1 B . . 1232
     6    0 B . . 1332
     7    1 A . . 1342
     8    0 B . . 1344
     9    1 B . . 1334
    10    2 B . . 13330
    11    1 A . . 13332
    12    0 A . . 13342
    13   -1 A . . 13442
    14   -2 A . . 14442
    15   -3 B . .034442
    16   -4 A . 0234442
    17   -3 B . 1234442
    18   -2 B . 1334442
    19   -1 A . 1344442
    20    0 A . 1342442
    21    1 A . 1342242
    22    2 A . 1342222
    23    1 B . 1342224
    24    2 B . 1342234
    25    3 B . 13422330
    26    2 A . 13422332
    27    1 A . 13422342
    28    0 A . 13422442
    29   -1 B . 13424442
    30    0 B . 13434442
    31    1 B . 13433442
    32    2 B . 13433342
    33    3 B . 13433332
    34    4 B . 134333330
    35    3 A . 134333332
    36    2 A . 134333342
    37    1 A . 134333442
    38    0 A . 134334442
    39   -1 A . 134344442
    40   -2 A . 134444442
    41   -1 A . 132444442
    42    0 A . 132244442
    43    1 A . 132224442
    44    2 A . 132222442
    45    3 A . 132222242
    46    4 A . 132222222
    47    3 B . 132222224
    48    4 B . 132222234
    49    5 B . 1322222330
    50    4 A . 1322222332
    51    3 A . 1322222342
    52    2 A . 1322222442
    53    1 B . 1322224442
    54    2 B . 1322234442
    55    3 B . 1322233442
    56    4 B . 1322233342
    57    5 B . 1322233332
    58    6 B . 13222333330
    59    5 A . 13222333332
    60    4 A . 13222333342
    61    3 A . 13222333442
    62    2 A . 13222334442
    63    1 A . 13222344442
    64    0 A . 13222444442
    65   -1 B . 13224444442
    66    0 B . 13234444442
    67    1 B . 13233444442
    68    2 B . 13233344442
    69    3 B . 13233334442
    70    4 B . 13233333442
    71    5 B . 13233333342
    72    6 B . 13233333332
    73    7 B . 132333333330
    74    6 A . 132333333332
    75    5 A . 132333333342
    76    4 A . 132333333442
    77    3 A . 132333334442
    78    2 A . 132333344442
    79    1 A . 132333444442
    80    0 A . 132334444442
    81   -1 A . 132344444442
    82   -2 A . 132444444442
    83   -3 B . 134444444442
    84   -2 A . 144444444442
    85   -1 A . 142444444442
    86    0 A . 142244444442
    87    1 A . 142224444442
    88    2 A . 142222444442
    89    3 A . 142222244442
    90    4 A . 142222224442
    91    5 A . 142222222442
    92    6 A . 142222222242
    93    7 A . 142222222222
    94    6 B . 142222222224
    95    7 B . 142222222234
    96    8 B . 1422222222330
    97    7 A . 1422222222332
    98    6 A . 1422222222342
    99    5 A . 1422222222442
   100    4 B . 1422222224442
   101    5 B . 1422222234442
   102    6 B . 1422222233442
   103    7 B . 1422222233342
   104    8 B . 1422222233332
   105    9 B . 14222222333330
   106    8 A . 14222222333332
   107    7 A . 14222222333342
   108    6 A . 14222222333442
   109    5 A . 14222222334442
   110    4 A . 14222222344442
   111    3 A . 14222222444442
   112    2 B . 14222224444442
   113    3 B . 14222234444442
   114    4 B . 14222233444442
   115    5 B . 14222233344442
   116    6 B . 14222233334442
   117    7 B . 14222233333442
   118    8 B . 14222233333342
   119    9 B . 14222233333332
   120   10 B . 142222333333330
   121    9 A . 142222333333332
   122    8 A . 142222333333342
   123    7 A . 142222333333442
   124    6 A . 142222333334442
   125    5 A . 142222333344442
   126    4 A . 142222333444442
   127    3 A . 142222334444442
   128    2 A . 142222344444442
   129    1 A . 142222444444442
   130    0 B . 142224444444442
   131    1 B . 142234444444442
   132    2 B . 142233444444442
   133    3 B . 142233344444442
   134    4 B . 142233334444442
   135    5 B . 142233333444442
   136    6 B . 142233333344442
   137    7 B . 142233333334442
   138    8 B . 142233333333442
   139    9 B . 142233333333342
   140   10 B . 142233333333332
   141   11 B . 1422333333333330
   142   10 A . 1422333333333332
   143    9 A . 1422333333333342
   144    8 A . 1422333333333442
   145    7 A . 1422333333334442
   146    6 A . 1422333333344442
   147    5 A . 1422333333444442
   148    4 A . 1422333334444442
   149    3 A . 1422333344444442
   150    2 A . 1422333444444442
   151    1 A . 1422334444444442
   152    0 A . 1422344444444442
   153   -1 A . 1422444444444442
   154   -2 B . 1424444444444442
   155   -1 B . 1434444444444442
   156    0 B . 1433444444444442
   157    1 B . 1433344444444442
   158    2 B . 1433334444444442
   159    3 B . 1433333444444442
   160    4 B . 1433333344444442
   161    5 B . 1433333334444442
   162    6 B . 1433333333444442
   163    7 B . 1433333333344442
   164    8 B . 1433333333334442
   165    9 B . 1433333333333442
   166   10 B . 1433333333333342
   167   11 B . 1433333333333332
   168   12 B . 14333333333333330
   169   11 A . 14333333333333332
   170   10 A . 14333333333333342
   171    9 A . 14333333333333442
   172    8 A . 14333333333334442
   173    7 A . 14333333333344442
   174    6 A . 14333333333444442
   175    5 A . 14333333334444442
   176    4 A . 14333333344444442
   177    3 A . 14333333444444442
   178    2 A . 14333334444444442
   179    1 A . 14333344444444442
   180    0 A . 14333444444444442
   181   -1 A . 14334444444444442
   182   -2 A . 14344444444444442
   183   -3 A . 14444444444444442
   184   -2 A . 12444444444444442
   185   -1 A . 12244444444444442
   186    0 A . 12224444444444442
   187    1 A . 12222444444444442
   188    2 A . 12222244444444442
   189    3 A . 12222224444444442
   190    4 A . 12222222444444442
   191    5 A . 12222222244444442
   192    6 A . 12222222224444442
   193    7 A . 12222222222444442
   194    8 A . 12222222222244442
   195    9 A . 12222222222224442
   196   10 A . 12222222222222442
   197   11 A . 12222222222222242
   198   12 A . 12222222222222222
   199   11 B . 12222222222222224
   200   12 B . 12222222222222234

After 200 steps (201 lines): state = B.
Produced     17 nonzeros.
Tape index 12, scanned [-4 .. 12].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 4 on 0 on 1 on 2 on 3 on 4
A 116 3 2 13 65 33 0 2 7 11 19
B 84 14   20 3 47 1   5 6 8
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:12:06 CEST 2010