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

Comment: This TM produces 97'104 nonzeros in 7'543'673'517 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 B2R B3R A4L A3R 1 right B 2 right B 3 right B 4 left A 3 right A
B A0L B4R Z1R B0R B1L 0 left A 4 right B 1 right Z 0 right B 1 left 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-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.

  Step Tpos St Tape contents
     0    0 A . . . . . 0
     1    1 B . . . . . 10
     2    0 A . . . . . 10
     3    1 B . . . . . 20
     4    0 A . . . . . 20
     5    1 B . . . . . 30
     6    0 A . . . . . 30
     7   -1 A . . . . .040
     8    0 B . . . . .140
     9   -1 B . . . . .110
    10    0 B . . . . .410
    11    1 B . . . . .440
    12    0 A . . . . .440
    13    1 A . . . . .430
    14    2 B . . . . .4310
    15    1 A . . . . .4310
    16    2 B . . . . .4320
    17    1 A . . . . .4320
    18    2 B . . . . .4330
    19    1 A . . . . .4330
    20    0 A . . . . .4340
    21   -1 A . . . . .4440
    22    0 A . . . . .3440
    23    1 A . . . . .3340
    24    2 A . . . . .3330
    25    3 B . . . . .33310
    26    2 A . . . . .33310
    27    3 B . . . . .33320
    28    2 A . . . . .33320
    29    3 B . . . . .33330
    30    2 A . . . . .33330
    31    1 A . . . . .33340
    32    0 A . . . . .33440
    33   -1 A . . . . .34440
    34   -2 A . . . . 044440
    35   -1 B . . . . 144440
    36   -2 B . . . . 114440
    37   -1 B . . . . 414440
    38    0 B . . . . 444440
    39   -1 B . . . . 441440
    40   -2 B . . . . 411440
    41   -3 B . . . .0111440
    42   -4 A . . . 00111440
    43   -3 B . . . 10111440
    44   -4 A . . . 10111440
    45   -3 B . . . 20111440
    46   -4 A . . . 20111440
    47   -3 B . . . 30111440
    48   -4 A . . . 30111440
    49   -5 A . . .040111440
    50   -4 B . . .140111440
    51   -5 B . . .110111440
    52   -4 B . . .410111440
    53   -3 B . . .440111440
    54   -4 A . . .440111440
    55   -3 A . . .430111440
    56   -2 B . . .431111440
    57   -1 B . . .431411440
    58    0 B . . .431441440
    59    1 B . . .431444440
    60    0 B . . .431444140
    61   -1 B . . .431441140
    62   -2 B . . .431411140
    63   -3 B . . .431111140
    64   -2 B . . .434111140
    65   -1 B . . .434411140
    66    0 B . . .434441140
    67    1 B . . .434444140
    68    2 B . . .434444440
    69    1 B . . .434444410
    70    0 B . . .434444110
    71   -1 B . . .434441110
    72   -2 B . . .434411110
    73   -3 B . . .434111110
    74   -4 B . . .431111110
    75   -3 B . . .401111110
    76   -2 B . . .404111110
    77   -1 B . . .404411110
    78    0 B . . .404441110
    79    1 B . . .404444110
    80    2 B . . .404444410
    81    3 B . . .404444440
    82    2 A . . .404444440
    83    3 A . . .404444430
    84    4 B . . .4044444310
    85    3 A . . .4044444310
    86    4 B . . .4044444320
    87    3 A . . .4044444320
    88    4 B . . .4044444330
    89    3 A . . .4044444330
    90    2 A . . .4044444340
    91    1 A . . .4044444440
    92    2 A . . .4044443440
    93    3 A . . .4044443340
    94    4 A . . .4044443330
    95    5 B . . .40444433310
    96    4 A . . .40444433310
    97    5 B . . .40444433320
    98    4 A . . .40444433320
    99    5 B . . .40444433330
   100    4 A . . .40444433330
   101    3 A . . .40444433340
   102    2 A . . .40444433440
   103    1 A . . .40444434440
   104    0 A . . .40444444440
   105    1 A . . .40444344440
   106    2 A . . .40444334440
   107    3 A . . .40444333440
   108    4 A . . .40444333340
   109    5 A . . .40444333330
   110    6 B . . .404443333310
   111    5 A . . .404443333310
   112    6 B . . .404443333320
   113    5 A . . .404443333320
   114    6 B . . .404443333330
   115    5 A . . .404443333330
   116    4 A . . .404443333340
   117    3 A . . .404443333440
   118    2 A . . .404443334440
   119    1 A . . .404443344440
   120    0 A . . .404443444440
   121   -1 A . . .404444444440
   122    0 A . . .404434444440
   123    1 A . . .404433444440
   124    2 A . . .404433344440
   125    3 A . . .404433334440
   126    4 A . . .404433333440
   127    5 A . . .404433333340
   128    6 A . . .404433333330
   129    7 B . . .4044333333310
   130    6 A . . .4044333333310
   131    7 B . . .4044333333320
   132    6 A . . .4044333333320
   133    7 B . . .4044333333330
   134    6 A . . .4044333333330
   135    5 A . . .4044333333340
   136    4 A . . .4044333333440
   137    3 A . . .4044333334440
   138    2 A . . .4044333344440
   139    1 A . . .4044333444440
   140    0 A . . .4044334444440
   141   -1 A . . .4044344444440
   142   -2 A . . .4044444444440
   143   -1 A . . .4043444444440
   144    0 A . . .4043344444440
   145    1 A . . .4043334444440
   146    2 A . . .4043333444440
   147    3 A . . .4043333344440
   148    4 A . . .4043333334440
   149    5 A . . .4043333333440
   150    6 A . . .4043333333340
   151    7 A . . .4043333333330
   152    8 B . . .40433333333310
   153    7 A . . .40433333333310
   154    8 B . . .40433333333320
   155    7 A . . .40433333333320
   156    8 B . . .40433333333330
   157    7 A . . .40433333333330
   158    6 A . . .40433333333340
   159    5 A . . .40433333333440
   160    4 A . . .40433333334440
   161    3 A . . .40433333344440
   162    2 A . . .40433333444440
   163    1 A . . .40433334444440
   164    0 A . . .40433344444440
   165   -1 A . . .40433444444440
   166   -2 A . . .40434444444440
   167   -3 A . . .40444444444440
   168   -2 A . . .40344444444440
   169   -1 A . . .40334444444440
   170    0 A . . .40333444444440
   171    1 A . . .40333344444440
   172    2 A . . .40333334444440
   173    3 A . . .40333333444440
   174    4 A . . .40333333344440
   175    5 A . . .40333333334440
   176    6 A . . .40333333333440
   177    7 A . . .40333333333340
   178    8 A . . .40333333333330
   179    9 B . . .403333333333310
   180    8 A . . .403333333333310
   181    9 B . . .403333333333320
   182    8 A . . .403333333333320
   183    9 B . . .403333333333330
   184    8 A . . .403333333333330
   185    7 A . . .403333333333340
   186    6 A . . .403333333333440
   187    5 A . . .403333333334440
   188    4 A . . .403333333344440
   189    3 A . . .403333333444440
   190    2 A . . .403333334444440
   191    1 A . . .403333344444440
   192    0 A . . .403333444444440
   193   -1 A . . .403334444444440
   194   -2 A . . .403344444444440
   195   -3 A . . .403444444444440
   196   -4 A . . .404444444444440
   197   -3 B . . .414444444444440
   198   -4 B . . .411444444444440
   199   -3 B . . .441444444444440
   200   -2 B . . .444444444444440

After 200 steps (201 lines): state = B.
Produced     14 nonzeros.
Tape index -2, scanned [-5 .. 9].
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 126 15 10 10 50 41 0 2 4 6 12
B 74 34 22   1 17 1 9   74 8
Execution statistics

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