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

Comment: This TM produces 2,576,467 nonzeros in 3,793,261,759,791 steps.
Comment: Same result with B4->B3L

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 A3R B4L A2R A3L 1 right B 3 right A 4 left B 2 right A 3 left A
B A2L Z2L B4R B4R B2L 2 left A 2 left Z 4 right B 4 right B 2 left B
Transition table
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as bck-macro machine.
The same TM as bck-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 A . . . . . 32
     4    0 B . . . . . 34
     5    1 B . . . . . 44
+    7   -1 B . . . . .022   by B/4 * 2
     8   -2 A . . . . 0222
     9   -1 B . . . . 1222
+   12    2 B . . . . 14440   by B/2 * 3
    13    1 A . . . . 14442
+   16   -2 A . . . . 13332  by A/4 * 3
    17   -1 A . . . . 33332
+   20    2 A . . . . 32222  by A/3 * 3
    21    1 B . . . . 32224
    22    2 B . . . . 32244
+   24    0 B . . . . 32222  by B/4 * 2
+   27    3 B . . . . 324440  by B/2 * 3
    28    2 A . . . . 324442
+   31   -1 A . . . . 323332   by A/4 * 3
    32   -2 B . . . . 343332
    33   -1 B . . . . 443332
+   35   -3 B . . . .0223332   by B/4 * 2
    36   -4 A . . . 02223332
    37   -3 B . . . 12223332
+   40    0 B . . . 14443332   by B/2 * 3
+   43    3 B . . . 14444442   by B/3 * 3
    44    4 B . . . 144444440
    45    3 A . . . 144444442
+   52   -4 A . . . 133333332  by A/4 * 7
    53   -3 A . . . 333333332
+   60    4 A . . . 322222222  by A/3 * 7
    61    3 B . . . 322222224
    62    4 B . . . 322222244
+   64    2 B . . . 322222222  by B/4 * 2
+   67    5 B . . . 3222224440  by B/2 * 3
    68    4 A . . . 3222224442
+   71    1 A . . . 3222223332   by A/4 * 3
    72    0 B . . . 3222243332
    73    1 B . . . 3222443332
+   75   -1 B . . . 3222223332   by B/4 * 2
+   78    2 B . . . 3224443332   by B/2 * 3
+   81    5 B . . . 3224444442   by B/3 * 3
    82    6 B . . . 32244444440
    83    5 A . . . 32244444442
+   90   -2 A . . . 32233333332  by A/4 * 7
    91   -3 B . . . 32433333332
    92   -2 B . . . 34433333332
+   94   -4 B . . . 32233333332  by B/4 * 2
    95   -3 B . . . 42233333332
+   97   -1 B . . . 44433333332  by B/2 * 2
+  104    6 B . . . 44444444442  by B/3 * 7
   105    7 B . . . 444444444440
   106    6 A . . . 444444444442
+  117   -5 A . . .0333333333332   by A/4 * 11
   118   -4 B . . .1333333333332
+  129    7 B . . .1444444444442   by B/3 * 11
   130    8 B . . .14444444444440
   131    7 A . . .14444444444442
+  143   -5 A . . .13333333333332  by A/4 * 12
   144   -4 A . . .33333333333332
+  156    8 A . . .32222222222222  by A/3 * 12
   157    7 B . . .32222222222224
   158    8 B . . .32222222222244
+  160    6 B . . .32222222222222  by B/4 * 2
+  163    9 B . . .322222222224440  by B/2 * 3
   164    8 A . . .322222222224442
+  167    5 A . . .322222222223332   by A/4 * 3
   168    4 B . . .322222222243332
   169    5 B . . .322222222443332
+  171    3 B . . .322222222223332   by B/4 * 2
+  174    6 B . . .322222224443332   by B/2 * 3
+  177    9 B . . .322222224444442   by B/3 * 3
   178   10 B . . .3222222244444440
   179    9 A . . .3222222244444442
+  186    2 A . . .3222222233333332  by A/4 * 7
   187    1 B . . .3222222433333332
   188    2 B . . .3222224433333332
+  190    0 B . . .3222222233333332  by B/4 * 2
+  193    3 B . . .3222244433333332  by B/2 * 3
+  200   10 B . . .3222244444444442  by B/3 * 7
   201   11 B . . .32222444444444440
   202   10 A . . .32222444444444442
+  213   -1 A . . .32222333333333332   by A/4 * 11
   214   -2 B . . .32224333333333332
   215   -1 B . . .32244333333333332
+  217   -3 B . . .32222333333333332   by B/4 * 2
+  220    0 B . . .32444333333333332   by B/2 * 3
+  231   11 B . . .32444444444444442   by B/3 * 11
   232   12 B . . .324444444444444440
   233   11 A . . .324444444444444442
+  248   -4 A . . .323333333333333332  by A/4 * 15
   249   -5 B . . .343333333333333332
   250   -4 B . . .443333333333333332
+  252   -6 B . . 0223333333333333332  by B/4 * 2
   253   -7 A . .02223333333333333332
   254   -6 B . .12223333333333333332
+  257   -3 B . .14443333333333333332  by B/2 * 3
+  272   12 B . .14444444444444444442  by B/3 * 15
   273   13 B . .144444444444444444440
   274   12 A . .144444444444444444442
+  293   -7 A . .133333333333333333332   by A/4 * 19
   294   -6 A . .333333333333333333332
+  313   13 A . .322222222222222222222   by A/3 * 19
   314   12 B . .322222222222222222224
   315   13 B . .322222222222222222244
+  317   11 B . .322222222222222222222   by B/4 * 2
+  320   14 B . .3222222222222222224440   by B/2 * 3
   321   13 A . .3222222222222222224442
+  324   10 A . .3222222222222222223332  by A/4 * 3
   325    9 B . .3222222222222222243332
   326   10 B . .3222222222222222443332
+  328    8 B . .3222222222222222223332  by B/4 * 2
+  331   11 B . .3222222222222224443332  by B/2 * 3
+  334   14 B . .3222222222222224444442  by B/3 * 3
   335   15 B . .32222222222222244444440
   336   14 A . .32222222222222244444442
+  343    7 A . .32222222222222233333332   by A/4 * 7
   344    6 B . .32222222222222433333332
   345    7 B . .32222222222224433333332
+  347    5 B . .32222222222222233333332   by B/4 * 2
+  350    8 B . .32222222222244433333332   by B/2 * 3
+  357   15 B . .32222222222244444444442   by B/3 * 7
   358   16 B . .322222222222444444444440
   359   15 A . .322222222222444444444442
+  370    4 A . .322222222222333333333332  by A/4 * 11
   371    3 B . .322222222224333333333332
   372    4 B . .322222222244333333333332
+  374    2 B . .322222222222333333333332  by B/4 * 2
+  377    5 B . .322222222444333333333332  by B/2 * 3
+  388   16 B . .322222222444444444444442  by B/3 * 11
   389   17 B . .3222222224444444444444440
   390   16 A . .3222222224444444444444442
+  405    1 A . .3222222223333333333333332   by A/4 * 15
   406    0 B . .3222222243333333333333332
   407    1 B . .3222222443333333333333332
+  409   -1 B . .3222222223333333333333332   by B/4 * 2
+  412    2 B . .3222224443333333333333332   by B/2 * 3
+  427   17 B . .3222224444444444444444442   by B/3 * 15
   428   18 B . .32222244444444444444444440
   429   17 A . .32222244444444444444444442
+  448   -2 A . .32222233333333333333333332  by A/4 * 19
   449   -3 B . .32222433333333333333333332
   450   -2 B . .32224433333333333333333332
+  452   -4 B . .32222233333333333333333332  by B/4 * 2
+  455   -1 B . .32244433333333333333333332  by B/2 * 3
+  474   18 B . .32244444444444444444444442  by B/3 * 19
   475   19 B . .322444444444444444444444440
   476   18 A . .322444444444444444444444442
+  499   -5 A . .322333333333333333333333332   by A/4 * 23
   500   -6 B . .324333333333333333333333332
   501   -5 B . .344333333333333333333333332
+  503   -7 B . .322333333333333333333333332   by B/4 * 2
   504   -6 B . .422333333333333333333333332
+  506   -4 B . .444333333333333333333333332   by B/2 * 2
+  529   19 B . .444444444444444444444444442   by B/3 * 23
   530   20 B . .4444444444444444444444444440
   531   19 A . .4444444444444444444444444442
+  558   -8 A . 03333333333333333333333333332  by A/4 * 27
   559   -7 B . 13333333333333333333333333332
+  586   20 B . 14444444444444444444444444442  by B/3 * 27
   587   21 B . 144444444444444444444444444440
   588   20 A . 144444444444444444444444444442
+  616   -8 A . 133333333333333333333333333332   by A/4 * 28
   617   -7 A . 333333333333333333333333333332
+  645   21 A . 322222222222222222222222222222   by A/3 * 28
   646   20 B . 322222222222222222222222222224
   647   21 B . 322222222222222222222222222244
+  649   19 B . 322222222222222222222222222222   by B/4 * 2
+  652   22 B . 3222222222222222222222222224440   by B/2 * 3
   653   21 A . 3222222222222222222222222224442
+  656   18 A . 3222222222222222222222222223332  by A/4 * 3
   657   17 B . 3222222222222222222222222243332
   658   18 B . 3222222222222222222222222443332
+  660   16 B . 3222222222222222222222222223332  by B/4 * 2
+  663   19 B . 3222222222222222222222224443332  by B/2 * 3
+  666   22 B . 3222222222222222222222224444442  by B/3 * 3
   667   23 B . 32222222222222222222222244444440
   668   22 A . 32222222222222222222222244444442
+  675   15 A . 32222222222222222222222233333332   by A/4 * 7
   676   14 B . 32222222222222222222222433333332
   677   15 B . 32222222222222222222224433333332
+  679   13 B . 32222222222222222222222233333332   by B/4 * 2
+  682   16 B . 32222222222222222222244433333332   by B/2 * 3
+  689   23 B . 32222222222222222222244444444442   by B/3 * 7
   690   24 B . 322222222222222222222444444444440
   691   23 A . 322222222222222222222444444444442
+  702   12 A . 322222222222222222222333333333332  by A/4 * 11
   703   11 B . 322222222222222222224333333333332
   704   12 B . 322222222222222222244333333333332
+  706   10 B . 322222222222222222222333333333332  by B/4 * 2
+  709   13 B . 322222222222222222444333333333332  by B/2 * 3
+  720   24 B . 322222222222222222444444444444442  by B/3 * 11
   721   25 B . 3222222222222222224444444444444440
   722   24 A . 3222222222222222224444444444444442
+  737    9 A . 3222222222222222223333333333333332   by A/4 * 15
   738    8 B . 3222222222222222243333333333333332
   739    9 B . 3222222222222222443333333333333332
+  741    7 B . 3222222222222222223333333333333332   by B/4 * 2
+  744   10 B . 3222222222222224443333333333333332   by B/2 * 3
+  759   25 B . 3222222222222224444444444444444442   by B/3 * 15

After 759 steps (201 lines): state = B.
Produced     34 nonzeros.
Tape index 25, scanned [-8 .. 25].
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 374 6 6 23 69 270 0 2 3 17 13
B 385 28   105 206 46 1   9 4 5
Execution statistics

The same TM just simple.
The same TM with tape symbol exponents.
The same TM as bck-macro machine.
The same TM as 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:12:04 CEST 2010