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

Comment: This TM produces 1,957,771 nonzeros in 912,594,733,606 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 Z1R A1L A1L 1 right B 3 left B 1 right Z 1 left A 1 left A
B A2L B3R B4L B4L A3R 2 left A 3 right B 4 left B 4 left B 3 right A
Transition table
The same TM just simple.
Simulation is done 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   -2 B . . . . . . . . . . . . . . . . . . . . . . . 1432
     7   -1 B . . . . . . . . . . . . . . . . . . . . . . . 3432
     8    0 A . . . . . . . . . . . . . . . . . . . . . . . 3332
+   11   -3 A . . . . . . . . . . . . . . . . . . . . . . .01112   by A/3 * 3
    12   -2 B . . . . . . . . . . . . . . . . . . . . . . .11112
+   15    1 B . . . . . . . . . . . . . . . . . . . . . . .13332   by B/1 * 3
    16    0 B . . . . . . . . . . . . . . . . . . . . . . .13334
+   19   -3 B . . . . . . . . . . . . . . . . . . . . . . .14444   by B/3 * 3
    20   -2 B . . . . . . . . . . . . . . . . . . . . . . .34444
    21   -1 A . . . . . . . . . . . . . . . . . . . . . . .33444
    22   -2 A . . . . . . . . . . . . . . . . . . . . . . .33144
+   24   -4 A . . . . . . . . . . . . . . . . . . . . . . 011144   by A/3 * 2
    25   -3 B . . . . . . . . . . . . . . . . . . . . . . 111144
+   28    0 B . . . . . . . . . . . . . . . . . . . . . . 133344   by B/1 * 3
    29    1 A . . . . . . . . . . . . . . . . . . . . . . 133334
    30    0 A . . . . . . . . . . . . . . . . . . . . . . 133331
+   34   -4 A . . . . . . . . . . . . . . . . . . . . . . 111111   by A/3 * 4
    35   -5 B . . . . . . . . . . . . . . . . . . . . . .0311111
    36   -6 A . . . . . . . . . . . . . . . . . . . . . 02311111
    37   -5 B . . . . . . . . . . . . . . . . . . . . . 12311111
    38   -6 B . . . . . . . . . . . . . . . . . . . . . 14311111
    39   -5 B . . . . . . . . . . . . . . . . . . . . . 34311111
    40   -4 A . . . . . . . . . . . . . . . . . . . . . 33311111
+   43   -7 A . . . . . . . . . . . . . . . . . . . . .011111111   by A/3 * 3
    44   -6 B . . . . . . . . . . . . . . . . . . . . .111111111
+   52    2 B . . . . . . . . . . . . . . . . . . . . .1333333330   by B/1 * 8
    53    1 A . . . . . . . . . . . . . . . . . . . . .1333333332
+   61   -7 A . . . . . . . . . . . . . . . . . . . . .1111111112  by A/3 * 8
    62   -8 B . . . . . . . . . . . . . . . . . . . . 03111111112
    63   -9 A . . . . . . . . . . . . . . . . . . . .023111111112
    64   -8 B . . . . . . . . . . . . . . . . . . . .123111111112
    65   -9 B . . . . . . . . . . . . . . . . . . . .143111111112
    66   -8 B . . . . . . . . . . . . . . . . . . . .343111111112
    67   -7 A . . . . . . . . . . . . . . . . . . . .333111111112
+   70  -10 A . . . . . . . . . . . . . . . . . . . 0111111111112  by A/3 * 3
    71   -9 B . . . . . . . . . . . . . . . . . . . 1111111111112
+   82    2 B . . . . . . . . . . . . . . . . . . . 1333333333332  by B/1 * 11
    83    1 B . . . . . . . . . . . . . . . . . . . 1333333333334
+   94  -10 B . . . . . . . . . . . . . . . . . . . 1444444444444  by B/3 * 11
    95   -9 B . . . . . . . . . . . . . . . . . . . 3444444444444
    96   -8 A . . . . . . . . . . . . . . . . . . . 3344444444444
    97   -9 A . . . . . . . . . . . . . . . . . . . 3314444444444
+   99  -11 A . . . . . . . . . . . . . . . . . . .01114444444444  by A/3 * 2
   100  -10 B . . . . . . . . . . . . . . . . . . .11114444444444
+  103   -7 B . . . . . . . . . . . . . . . . . . .13334444444444  by B/1 * 3
   104   -6 A . . . . . . . . . . . . . . . . . . .13333444444444
   105   -7 A . . . . . . . . . . . . . . . . . . .13333144444444
+  109  -11 A . . . . . . . . . . . . . . . . . . .11111144444444  by A/3 * 4
   110  -12 B . . . . . . . . . . . . . . . . . . 031111144444444
   111  -13 A . . . . . . . . . . . . . . . . . .0231111144444444
   112  -12 B . . . . . . . . . . . . . . . . . .1231111144444444
   113  -13 B . . . . . . . . . . . . . . . . . .1431111144444444
   114  -12 B . . . . . . . . . . . . . . . . . .3431111144444444
   115  -11 A . . . . . . . . . . . . . . . . . .3331111144444444
+  118  -14 A . . . . . . . . . . . . . . . . . 01111111144444444  by A/3 * 3
   119  -13 B . . . . . . . . . . . . . . . . . 11111111144444444
+  127   -5 B . . . . . . . . . . . . . . . . . 13333333344444444  by B/1 * 8
   128   -4 A . . . . . . . . . . . . . . . . . 13333333334444444
   129   -5 A . . . . . . . . . . . . . . . . . 13333333331444444
+  138  -14 A . . . . . . . . . . . . . . . . . 11111111111444444  by A/3 * 9
   139  -15 B . . . . . . . . . . . . . . . . .031111111111444444
   140  -16 A . . . . . . . . . . . . . . . . 0231111111111444444
   141  -15 B . . . . . . . . . . . . . . . . 1231111111111444444
   142  -16 B . . . . . . . . . . . . . . . . 1431111111111444444
   143  -15 B . . . . . . . . . . . . . . . . 3431111111111444444
   144  -14 A . . . . . . . . . . . . . . . . 3331111111111444444
+  147  -17 A . . . . . . . . . . . . . . . .01111111111111444444  by A/3 * 3
   148  -16 B . . . . . . . . . . . . . . . .11111111111111444444
+  161   -3 B . . . . . . . . . . . . . . . .13333333333333444444  by B/1 * 13
   162   -2 A . . . . . . . . . . . . . . . .13333333333333344444
   163   -3 A . . . . . . . . . . . . . . . .13333333333333314444
+  177  -17 A . . . . . . . . . . . . . . . .11111111111111114444  by A/3 * 14
   178  -18 B . . . . . . . . . . . . . . . 031111111111111114444
   179  -19 A . . . . . . . . . . . . . . .0231111111111111114444
   180  -18 B . . . . . . . . . . . . . . .1231111111111111114444
   181  -19 B . . . . . . . . . . . . . . .1431111111111111114444
   182  -18 B . . . . . . . . . . . . . . .3431111111111111114444
   183  -17 A . . . . . . . . . . . . . . .3331111111111111114444
+  186  -20 A . . . . . . . . . . . . . . 01111111111111111114444  by A/3 * 3
   187  -19 B . . . . . . . . . . . . . . 11111111111111111114444
+  205   -1 B . . . . . . . . . . . . . . 13333333333333333334444  by B/1 * 18
   206    0 A . . . . . . . . . . . . . . 13333333333333333333444
   207   -1 A . . . . . . . . . . . . . . 13333333333333333333144
+  226  -20 A . . . . . . . . . . . . . . 11111111111111111111144  by A/3 * 19
   227  -21 B . . . . . . . . . . . . . .031111111111111111111144
   228  -22 A . . . . . . . . . . . . . 0231111111111111111111144
   229  -21 B . . . . . . . . . . . . . 1231111111111111111111144
   230  -22 B . . . . . . . . . . . . . 1431111111111111111111144
   231  -21 B . . . . . . . . . . . . . 3431111111111111111111144
   232  -20 A . . . . . . . . . . . . . 3331111111111111111111144
+  235  -23 A . . . . . . . . . . . . .01111111111111111111111144  by A/3 * 3
   236  -22 B . . . . . . . . . . . . .11111111111111111111111144
+  259    1 B . . . . . . . . . . . . .13333333333333333333333344  by B/1 * 23
   260    2 A . . . . . . . . . . . . .13333333333333333333333334
   261    1 A . . . . . . . . . . . . .13333333333333333333333331
+  285  -23 A . . . . . . . . . . . . .11111111111111111111111111  by A/3 * 24
   286  -24 B . . . . . . . . . . . . 031111111111111111111111111
   287  -25 A . . . . . . . . . . . .0231111111111111111111111111
   288  -24 B . . . . . . . . . . . .1231111111111111111111111111
   289  -25 B . . . . . . . . . . . .1431111111111111111111111111
   290  -24 B . . . . . . . . . . . .3431111111111111111111111111
   291  -23 A . . . . . . . . . . . .3331111111111111111111111111
+  294  -26 A . . . . . . . . . . . 01111111111111111111111111111  by A/3 * 3
   295  -25 B . . . . . . . . . . . 11111111111111111111111111111
+  323    3 B . . . . . . . . . . . 133333333333333333333333333330  by B/1 * 28
   324    2 A . . . . . . . . . . . 133333333333333333333333333332
+  352  -26 A . . . . . . . . . . . 111111111111111111111111111112   by A/3 * 28
   353  -27 B . . . . . . . . . . .0311111111111111111111111111112
   354  -28 A . . . . . . . . . . 02311111111111111111111111111112
   355  -27 B . . . . . . . . . . 12311111111111111111111111111112
   356  -28 B . . . . . . . . . . 14311111111111111111111111111112
   357  -27 B . . . . . . . . . . 34311111111111111111111111111112
   358  -26 A . . . . . . . . . . 33311111111111111111111111111112
+  361  -29 A . . . . . . . . . .011111111111111111111111111111112   by A/3 * 3
   362  -28 B . . . . . . . . . .111111111111111111111111111111112
+  393    3 B . . . . . . . . . .133333333333333333333333333333332   by B/1 * 31
   394    2 B . . . . . . . . . .133333333333333333333333333333334
+  425  -29 B . . . . . . . . . .144444444444444444444444444444444   by B/3 * 31
   426  -28 B . . . . . . . . . .344444444444444444444444444444444
   427  -27 A . . . . . . . . . .334444444444444444444444444444444
   428  -28 A . . . . . . . . . .331444444444444444444444444444444
+  430  -30 A . . . . . . . . . 0111444444444444444444444444444444   by A/3 * 2
   431  -29 B . . . . . . . . . 1111444444444444444444444444444444
+  434  -26 B . . . . . . . . . 1333444444444444444444444444444444   by B/1 * 3
   435  -25 A . . . . . . . . . 1333344444444444444444444444444444
   436  -26 A . . . . . . . . . 1333314444444444444444444444444444
+  440  -30 A . . . . . . . . . 1111114444444444444444444444444444   by A/3 * 4
   441  -31 B . . . . . . . . .03111114444444444444444444444444444
   442  -32 A . . . . . . . . 023111114444444444444444444444444444
   443  -31 B . . . . . . . . 123111114444444444444444444444444444
   444  -32 B . . . . . . . . 143111114444444444444444444444444444
   445  -31 B . . . . . . . . 343111114444444444444444444444444444
   446  -30 A . . . . . . . . 333111114444444444444444444444444444
+  449  -33 A . . . . . . . .0111111114444444444444444444444444444   by A/3 * 3
   450  -32 B . . . . . . . .1111111114444444444444444444444444444
+  458  -24 B . . . . . . . .1333333334444444444444444444444444444   by B/1 * 8
   459  -23 A . . . . . . . .1333333333444444444444444444444444444
   460  -24 A . . . . . . . .1333333333144444444444444444444444444
+  469  -33 A . . . . . . . .1111111111144444444444444444444444444   by A/3 * 9
   470  -34 B . . . . . . . 03111111111144444444444444444444444444
   471  -35 A . . . . . . .023111111111144444444444444444444444444
   472  -34 B . . . . . . .123111111111144444444444444444444444444
   473  -35 B . . . . . . .143111111111144444444444444444444444444
   474  -34 B . . . . . . .343111111111144444444444444444444444444
   475  -33 A . . . . . . .333111111111144444444444444444444444444
+  478  -36 A . . . . . . 0111111111111144444444444444444444444444   by A/3 * 3
   479  -35 B . . . . . . 1111111111111144444444444444444444444444
+  492  -22 B . . . . . . 1333333333333344444444444444444444444444   by B/1 * 13
   493  -21 A . . . . . . 1333333333333334444444444444444444444444
   494  -22 A . . . . . . 1333333333333331444444444444444444444444
+  508  -36 A . . . . . . 1111111111111111444444444444444444444444   by A/3 * 14
   509  -37 B . . . . . .03111111111111111444444444444444444444444
   510  -38 A . . . . . 023111111111111111444444444444444444444444
   511  -37 B . . . . . 123111111111111111444444444444444444444444
   512  -38 B . . . . . 143111111111111111444444444444444444444444
   513  -37 B . . . . . 343111111111111111444444444444444444444444
   514  -36 A . . . . . 333111111111111111444444444444444444444444
+  517  -39 A . . . . .0111111111111111111444444444444444444444444   by A/3 * 3
   518  -38 B . . . . .1111111111111111111444444444444444444444444
+  536  -20 B . . . . .1333333333333333333444444444444444444444444   by B/1 * 18
   537  -19 A . . . . .1333333333333333333344444444444444444444444
   538  -20 A . . . . .1333333333333333333314444444444444444444444
+  557  -39 A . . . . .1111111111111111111114444444444444444444444   by A/3 * 19
   558  -40 B . . . . 03111111111111111111114444444444444444444444
   559  -41 A . . . .023111111111111111111114444444444444444444444
   560  -40 B . . . .123111111111111111111114444444444444444444444
   561  -41 B . . . .143111111111111111111114444444444444444444444
   562  -40 B . . . .343111111111111111111114444444444444444444444
   563  -39 A . . . .333111111111111111111114444444444444444444444
+  566  -42 A . . . 0111111111111111111111114444444444444444444444   by A/3 * 3
   567  -41 B . . . 1111111111111111111111114444444444444444444444
+  590  -18 B . . . 1333333333333333333333334444444444444444444444   by B/1 * 23
   591  -17 A . . . 1333333333333333333333333444444444444444444444
   592  -18 A . . . 1333333333333333333333333144444444444444444444
+  616  -42 A . . . 1111111111111111111111111144444444444444444444   by A/3 * 24
   617  -43 B . . .03111111111111111111111111144444444444444444444
   618  -44 A . . 023111111111111111111111111144444444444444444444
   619  -43 B . . 123111111111111111111111111144444444444444444444
   620  -44 B . . 143111111111111111111111111144444444444444444444
   621  -43 B . . 343111111111111111111111111144444444444444444444
   622  -42 A . . 333111111111111111111111111144444444444444444444
+  625  -45 A . .0111111111111111111111111111144444444444444444444   by A/3 * 3
   626  -44 B . .1111111111111111111111111111144444444444444444444
+  654  -16 B . .1333333333333333333333333333344444444444444444444   by B/1 * 28
   655  -15 A . .1333333333333333333333333333334444444444444444444
   656  -16 A . .1333333333333333333333333333331444444444444444444
+  685  -45 A . .1111111111111111111111111111111444444444444444444   by A/3 * 29
   686  -46 B . 03111111111111111111111111111111444444444444444444
   687  -47 A .023111111111111111111111111111111444444444444444444
   688  -46 B .123111111111111111111111111111111444444444444444444
   689  -47 B .143111111111111111111111111111111444444444444444444
   690  -46 B .343111111111111111111111111111111444444444444444444
   691  -45 A .333111111111111111111111111111111444444444444444444
+  694  -48 A 0111111111111111111111111111111111444444444444444444   by A/3 * 3
   695  -47 B 1111111111111111111111111111111111444444444444444444

After 695 steps (201 lines): state = B.
Produced     52 nonzeros.
Tape index -47, scanned [-48 .. 3].
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 324 34 15   260 15 0 2   8 21
B 371 18 260 18 45 30 1 6 5 16 7
Execution statistics

The same TM just simple.
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:01 CEST 2010