2-state 5-symbol #e from T.J. & S. Ligocki

Comment: This TM produces 114,668,733 nonzeros in 9,392,084,729,807,219 steps.

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 1RB 2RA 1LA 3LA 2RA 1 right B 2 right A 1 left A 3 left A 2 right A
B 2LA 3RB 4LA 1LB 1RH 2 left A 3 right B 4 left A 1 left B 1 right H
Transition table
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
Simulation is done as 1-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 1.

Steps             BasSteps              BasTpos  Tape contents
    0                    0                    0  A>
    1                    1                    1  1 B>
    2                    2                    0  1 <A 2
    3                    3                    1  2 A> 2
    4                    4                    0  2 <A 1
    5                    5                   -1  <A 12
    6                    6                    0  1 B> 12
    7                    8                    2  1 32 B>
    8                    9                    1  1 32 <A 2
    9                   11                   -1  1 <A 32 2
   10                   12                    0  2 A> 32 2
   11                   13                   -1  2 <A 32 2
   12                   14                   -2  <A 1 32 2
   13                   15                   -1  1 B> 1 32 2
   14                   16                    0  1 3 B> 32 2
   15                   17                   -1  1 3 <B 1 3 2
   16                   18                   -2  1 <B 12 3 2
   17                   19                   -1  3 B> 12 3 2
   18                   21                    1  33 B> 3 2
   19                   22                    0  33 <B 1 2
   20                   25                   -3  <B 14 2
   21                   26                   -4  <A 2 14 2
   22                   27                   -3  1 B> 2 14 2
   23                   28                   -4  1 <A 4 14 2
   24                   29                   -3  2 A> 4 14 2
   25                   30                   -2  22 A> 14 2
   26                   34                    2  26 A> 2
   27                   35                    1  26 <A 1
   28                   41                   -5  <A 17
   29                   42                   -4  1 B> 17
   30                   49                    3  1 37 B>
   31                   50                    2  1 37 <A 2
   32                   57                   -5  1 <A 37 2
   33                   58                   -4  2 A> 37 2
   34                   59                   -5  2 <A 37 2
   35                   60                   -6  <A 1 37 2
   36                   61                   -5  1 B> 1 37 2
   37                   62                   -4  1 3 B> 37 2
   38                   63                   -5  1 3 <B 1 36 2
   39                   64                   -6  1 <B 12 36 2
   40                   65                   -5  3 B> 12 36 2
   41                   67                   -3  33 B> 36 2
   42                   68                   -4  33 <B 1 35 2
   43                   71                   -7  <B 14 35 2
   44                   72                   -8  <A 2 14 35 2
   45                   73                   -7  1 B> 2 14 35 2
   46                   74                   -8  1 <A 4 14 35 2
   47                   75                   -7  2 A> 4 14 35 2
   48                   76                   -6  22 A> 14 35 2
   49                   80                   -2  26 A> 35 2
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  21+V(1) A> 33+V(2) [*]*
    1                    1                   -1  21+V(1) <A 33+V(2) [*]*
    2               2+V(1)           -2+-1*V(1)  <A 11+V(1) 33+V(2) [*]*
    3               3+V(1)           -1+-1*V(1)  1 B> 11+V(1) 33+V(2) [*]*
    4             4+2*V(1)                    0  1 31+V(1) B> 33+V(2) [*]*
    5             5+2*V(1)                   -1  1 31+V(1) <B 1 32+V(2) [*]*
    6             6+3*V(1)           -2+-1*V(1)  1 <B 12+V(1) 32+V(2) [*]*
    7             7+3*V(1)           -1+-1*V(1)  3 B> 12+V(1) 32+V(2) [*]*
    8             9+4*V(1)                    1  33+V(1) B> 32+V(2) [*]*
    9            10+4*V(1)                    0  33+V(1) <B 1 31+V(2) [*]*
   10            13+5*V(1)           -3+-1*V(1)  <B 14+V(1) 31+V(2) [*]*
   11            14+5*V(1)           -4+-1*V(1)  <A 2 14+V(1) 31+V(2) [*]*
   12            15+5*V(1)           -3+-1*V(1)  1 B> 2 14+V(1) 31+V(2) [*]*
   13            16+5*V(1)           -4+-1*V(1)  1 <A 4 14+V(1) 31+V(2) [*]*
   14            17+5*V(1)           -3+-1*V(1)  2 A> 4 14+V(1) 31+V(2) [*]*
   15            18+5*V(1)           -2+-1*V(1)  22 A> 14+V(1) 31+V(2) [*]*
   16            22+6*V(1)                    2  26+V(1) A> 31+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
   49                   80                   -2  26 A> 35 2
== Executing  PA-CTR  1, V(1)=5, V(2)=2, repcount=2, factor=5/2
   81                  214                    2  216 A> 3 2
   82                  215                    1  216 <A 3 2
   83                  231                  -15  <A 116 3 2
   84                  232                  -14  1 B> 116 3 2
   85                  248                    2  1 316 B> 3 2
   86                  249                    1  1 316 <B 1 2
   87                  265                  -15  1 <B 117 2
   88                  266                  -14  3 B> 117 2
   89                  283                    3  318 B> 2
   90                  284                    2  318 <A 4
   91                  302                  -16  <A 318 4
   92                  303                  -15  1 B> 318 4
   93                  304                  -16  1 <B 1 317 4
   94                  305                  -15  3 B> 1 317 4
   95                  306                  -14  32 B> 317 4
   96                  307                  -15  32 <B 1 316 4
   97                  309                  -17  <B 13 316 4
   98                  310                  -18  <A 2 13 316 4
   99                  311                  -17  1 B> 2 13 316 4
  100                  312                  -18  1 <A 4 13 316 4
  101                  313                  -17  2 A> 4 13 316 4
  102                  314                  -16  22 A> 13 316 4
  103                  317                  -13  25 A> 316 4
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  23+V(1) A> 3 2
    1                    1                   -1  23+V(1) <A 3 2
    2               4+V(1)           -4+-1*V(1)  <A 13+V(1) 3 2
    3               5+V(1)           -3+-1*V(1)  1 B> 13+V(1) 3 2
    4             8+2*V(1)                    0  1 33+V(1) B> 3 2
    5             9+2*V(1)                   -1  1 33+V(1) <B 1 2
    6            12+3*V(1)           -4+-1*V(1)  1 <B 14+V(1) 2
    7            13+3*V(1)           -3+-1*V(1)  3 B> 14+V(1) 2
    8            17+4*V(1)                    1  35+V(1) B> 2
    9            18+4*V(1)                    0  35+V(1) <A 4
   10            23+5*V(1)           -5+-1*V(1)  <A 35+V(1) 4
   11            24+5*V(1)           -4+-1*V(1)  1 B> 35+V(1) 4
   12            25+5*V(1)           -5+-1*V(1)  1 <B 1 34+V(1) 4
   13            26+5*V(1)           -4+-1*V(1)  3 B> 1 34+V(1) 4
   14            27+5*V(1)           -3+-1*V(1)  32 B> 34+V(1) 4
   15            28+5*V(1)           -4+-1*V(1)  32 <B 1 33+V(1) 4
   16            30+5*V(1)           -6+-1*V(1)  <B 13 33+V(1) 4
   17            31+5*V(1)           -7+-1*V(1)  <A 2 13 33+V(1) 4
   18            32+5*V(1)           -6+-1*V(1)  1 B> 2 13 33+V(1) 4
   19            33+5*V(1)           -7+-1*V(1)  1 <A 4 13 33+V(1) 4
   20            34+5*V(1)           -6+-1*V(1)  2 A> 4 13 33+V(1) 4
   21            35+5*V(1)           -5+-1*V(1)  22 A> 13 33+V(1) 4
   22            38+5*V(1)           -2+-1*V(1)  25 A> 33+V(1) 4
<< Success! ==> defined new CTR 2 (PPA)
  103                  317                  -13  25 A> 316 4
== Executing  PA-CTR  1, V(1)=4, V(2)=13, repcount=7, factor=5/2
  215                 1269                    1  240 A> 32 4
  216                 1270                    0  240 <A 32 4
  217                 1310                  -40  <A 140 32 4
  218                 1311                  -39  1 B> 140 32 4
  219                 1351                    1  1 340 B> 32 4
  220                 1352                    0  1 340 <B 1 3 4
  221                 1392                  -40  1 <B 141 3 4
  222                 1393                  -39  3 B> 141 3 4
  223                 1434                    2  342 B> 3 4
  224                 1435                    1  342 <B 1 4
  225                 1477                  -41  <B 143 4
  226                 1478                  -42  <A 2 143 4
  227                 1479                  -41  1 B> 2 143 4
  228                 1480                  -42  1 <A 4 143 4
  229                 1481                  -41  2 A> 4 143 4
  230                 1482                  -40  22 A> 143 4
  231                 1525                    3  245 A> 4
  232                 1526                    4  246 A>
  233                 1527                    5  246 1 B>
  234                 1528                    4  246 1 <A 2
  235                 1529                    5  247 A> 2
  236                 1530                    4  247 <A 1
  237                 1577                  -43  <A 148
  238                 1578                  -42  1 B> 148
  239                 1626                    6  1 348 B>
  240                 1627                    5  1 348 <A 2
  241                 1675                  -43  1 <A 348 2
  242                 1676                  -42  2 A> 348 2
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  21+V(1) A> 32 41+V(2)
    1                    1                   -1  21+V(1) <A 32 41+V(2)
    2               2+V(1)           -2+-1*V(1)  <A 11+V(1) 32 41+V(2)
    3               3+V(1)           -1+-1*V(1)  1 B> 11+V(1) 32 41+V(2)
    4             4+2*V(1)                    0  1 31+V(1) B> 32 41+V(2)
    5             5+2*V(1)                   -1  1 31+V(1) <B 1 3 41+V(2)
    6             6+3*V(1)           -2+-1*V(1)  1 <B 12+V(1) 3 41+V(2)
    7             7+3*V(1)           -1+-1*V(1)  3 B> 12+V(1) 3 41+V(2)
    8             9+4*V(1)                    1  33+V(1) B> 3 41+V(2)
    9            10+4*V(1)                    0  33+V(1) <B 1 41+V(2)
   10            13+5*V(1)           -3+-1*V(1)  <B 14+V(1) 41+V(2)
   11            14+5*V(1)           -4+-1*V(1)  <A 2 14+V(1) 41+V(2)
   12            15+5*V(1)           -3+-1*V(1)  1 B> 2 14+V(1) 41+V(2)
   13            16+5*V(1)           -4+-1*V(1)  1 <A 4 14+V(1) 41+V(2)
   14            17+5*V(1)           -3+-1*V(1)  2 A> 4 14+V(1) 41+V(2)
   15            18+5*V(1)           -2+-1*V(1)  22 A> 14+V(1) 41+V(2)
   16            22+6*V(1)                    2  26+V(1) A> 41+V(2)
   17       23+6*V(1)+V(2)               3+V(2)  27+V(1)+V(2) A>
   18       24+6*V(1)+V(2)               4+V(2)  27+V(1)+V(2) 1 B>
   19       25+6*V(1)+V(2)               3+V(2)  27+V(1)+V(2) 1 <A 2
   20       26+6*V(1)+V(2)               4+V(2)  28+V(1)+V(2) A> 2
   21       27+6*V(1)+V(2)               3+V(2)  28+V(1)+V(2) <A 1
   22     35+7*V(1)+2*V(2)           -5+-1*V(1)  <A 19+V(1)+V(2)
   23     36+7*V(1)+2*V(2)           -4+-1*V(1)  1 B> 19+V(1)+V(2)
   24     45+8*V(1)+3*V(2)               5+V(2)  1 39+V(1)+V(2) B>
   25     46+8*V(1)+3*V(2)               4+V(2)  1 39+V(1)+V(2) <A 2
   26     55+9*V(1)+4*V(2)           -5+-1*V(1)  1 <A 39+V(1)+V(2) 2
   27     56+9*V(1)+4*V(2)           -4+-1*V(1)  2 A> 39+V(1)+V(2) 2
<< Success! ==> defined new CTR 3 (PPA)
  242                 1676                  -42  2 A> 348 2
== Executing  PA-CTR  1, V(1)=0, V(2)=45, repcount=23, factor=5/2
  610                 9772                    4  2116 A> 32 2
  611                 9773                    3  2116 <A 32 2
  612                 9889                 -113  <A 1116 32 2
  613                 9890                 -112  1 B> 1116 32 2
  614                10006                    4  1 3116 B> 32 2
  615                10007                    3  1 3116 <B 1 3 2
  616                10123                 -113  1 <B 1117 3 2
  617                10124                 -112  3 B> 1117 3 2
  618                10241                    5  3118 B> 3 2
  619                10242                    4  3118 <B 1 2
  620                10360                 -114  <B 1119 2
  621                10361                 -115  <A 2 1119 2
  622                10362                 -114  1 B> 2 1119 2
  623                10363                 -115  1 <A 4 1119 2
  624                10364                 -114  2 A> 4 1119 2
  625                10365                 -113  22 A> 1119 2
  626                10484                    6  2121 A> 2
  627                10485                    5  2121 <A 1
  628                10606                 -116  <A 1122
  629                10607                 -115  1 B> 1122
  630                10729                    7  1 3122 B>
  631                10730                    6  1 3122 <A 2
  632                10852                 -116  1 <A 3122 2
  633                10853                 -115  2 A> 3122 2
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  21+V(1) A> 32 2
    1                    1                   -1  21+V(1) <A 32 2
    2               2+V(1)           -2+-1*V(1)  <A 11+V(1) 32 2
    3               3+V(1)           -1+-1*V(1)  1 B> 11+V(1) 32 2
    4             4+2*V(1)                    0  1 31+V(1) B> 32 2
    5             5+2*V(1)                   -1  1 31+V(1) <B 1 3 2
    6             6+3*V(1)           -2+-1*V(1)  1 <B 12+V(1) 3 2
    7             7+3*V(1)           -1+-1*V(1)  3 B> 12+V(1) 3 2
    8             9+4*V(1)                    1  33+V(1) B> 3 2
    9            10+4*V(1)                    0  33+V(1) <B 1 2
   10            13+5*V(1)           -3+-1*V(1)  <B 14+V(1) 2
   11            14+5*V(1)           -4+-1*V(1)  <A 2 14+V(1) 2
   12            15+5*V(1)           -3+-1*V(1)  1 B> 2 14+V(1) 2
   13            16+5*V(1)           -4+-1*V(1)  1 <A 4 14+V(1) 2
   14            17+5*V(1)           -3+-1*V(1)  2 A> 4 14+V(1) 2
   15            18+5*V(1)           -2+-1*V(1)  22 A> 14+V(1) 2
   16            22+6*V(1)                    2  26+V(1) A> 2
   17            23+6*V(1)                    1  26+V(1) <A 1
   18            29+7*V(1)           -5+-1*V(1)  <A 17+V(1)
   19            30+7*V(1)           -4+-1*V(1)  1 B> 17+V(1)
   20            37+8*V(1)                    3  1 37+V(1) B>
   21            38+8*V(1)                    2  1 37+V(1) <A 2
   22            45+9*V(1)           -5+-1*V(1)  1 <A 37+V(1) 2
   23            46+9*V(1)           -4+-1*V(1)  2 A> 37+V(1) 2
<< Success! ==> defined new CTR 4 (PPA)
  633                10853                 -115  2 A> 3122 2
== Executing  PA-CTR  1, V(1)=0, V(2)=119, repcount=60, factor=5/2
 1593                65273                    5  2301 A> 32 2
== Executing PPA-CTR  4 (once), V(1)=300
 1616                68019                 -299  2 A> 3307 2
== Executing  PA-CTR  1, V(1)=0, V(2)=304, repcount=153, factor=5/2
 4064               420225                    7  2766 A> 3 2
== Executing PPA-CTR  2 (once), V(1)=763
 4086               424078                 -758  25 A> 3766 4
== Executing  PA-CTR  1, V(1)=4, V(2)=763, repcount=382, factor=5/2
10198              2624780                    6  21915 A> 32 4
== Executing PPA-CTR  3 (once), V(1)=1914, V(2)=0
10225              2642062                -1912  2 A> 31923 2
== Executing  PA-CTR  1, V(1)=0, V(2)=1920, repcount=961, factor=5/2
25601             16501604                   10  24806 A> 3 2
== Executing PPA-CTR  2 (once), V(1)=4803
25623             16525657                -4795  25 A> 34806 4
== Executing  PA-CTR  1, V(1)=4, V(2)=4803, repcount=2402, factor=5/2
64055            103144179                    9  212015 A> 32 4
== Executing PPA-CTR  3 (once), V(1)=12014, V(2)=0
64082            103252361               -12009  2 A> 312023 2
== Executing  PA-CTR  1, V(1)=0, V(2)=12020, repcount=6011, factor=5/2
160258            645276253                   13  230056 A> 3 2
== Executing PPA-CTR  2 (once), V(1)=30053
160280            645426556               -30042  25 A> 330056 4
== Executing  PA-CTR  1, V(1)=4, V(2)=30053, repcount=15027, factor=5/2
400712           4033053328                   12  275140 A> 32 4
== Executing PPA-CTR  3 (once), V(1)=75139, V(2)=0
400739           4033729635               -75131  2 A> 375148 2
== Executing  PA-CTR  1, V(1)=0, V(2)=75145, repcount=37573, factor=5/2
1001907          25209947581                   15  2187866 A> 32 2
== Executing PPA-CTR  4 (once), V(1)=187865
1001930          25211638412              -187854  2 A> 3187872 2
== Executing  PA-CTR  1, V(1)=0, V(2)=187869, repcount=93935, factor=5/2
2504890         157569059332                   16  2469676 A> 32 2
== Executing PPA-CTR  4 (once), V(1)=469675
2504913         157573286453              -469663  2 A> 3469682 2
== Executing  PA-CTR  1, V(1)=0, V(2)=469679, repcount=234840, factor=5/2
6262353         984822314333                   17  21174201 A> 32 2
== Executing PPA-CTR  4 (once), V(1)=1174200
6262376         984832882179             -1174187  2 A> 31174207 2
== Executing  PA-CTR  1, V(1)=0, V(2)=1174204, repcount=587103, factor=5/2
15656024        6155185981035                   19  22935516 A> 3 2
== Executing PPA-CTR  2 (once), V(1)=2935513
15656046        6155200658638             -2935496  25 A> 32935516 4
== Executing  PA-CTR  1, V(1)=4, V(2)=2935513, repcount=1467757, factor=5/2
39140158       38469905324840                   18  27338790 A> 32 4
== Executing PPA-CTR  3 (once), V(1)=7338789, V(2)=0
39140185       38469971373997             -7338775  2 A> 37338798 2
== Executing  PA-CTR  1, V(1)=0, V(2)=7338795, repcount=3669398, factor=5/2
97850553      240437222295843                   21  218346991 A> 32 2
== Executing PPA-CTR  4 (once), V(1)=18346990
97850576      240437387418799            -18346973  2 A> 318346997 2
== Executing  PA-CTR  1, V(1)=0, V(2)=18346994, repcount=9173498, factor=5/2
244626544     1502733434973345                   23  245867491 A> 3 2
== Executing PPA-CTR  2 (once), V(1)=45867488
244626566     1502733664310823            -45867467  25 A> 345867491 4
== Executing  PA-CTR  1, V(1)=4, V(2)=45867488, repcount=22933745, factor=5/2
611566486     9392084271132293                   23  2114668730 A> 3 4
611566487     9392084271132294                   22  2114668730 <A 3 4
611566488     9392084385801024           -114668708  <A 1114668730 3 4
611566489     9392084385801025           -114668707  1 B> 1114668730 3 4
611566490     9392084500469755                   23  1 3114668730 B> 3 4
611566491     9392084500469756                   22  1 3114668730 <B 1 4
611566492     9392084615138486           -114668708  1 <B 1114668731 4
611566493     9392084615138487           -114668707  3 B> 1114668731 4
611566494     9392084729807218                   24  3114668732 B> 4
611566495     9392084729807219                   25  3114668732 1 H>
611566495     9392084729807219                   25  3114668732 1 H>   [stop]

Lines:       164
Top steps:   162
Macro steps: 611566495
Basic steps: 9392084729807219
Tape index:  25
nonzeros:    114668733
log10(nonzeros):    8.059
log10(steps   ):   15.973
Run state:   stop

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.

To the BB simulations page of Heiner Marxen.
To the busy beaver page of Heiner Marxen.
To the home page of Heiner Marxen.
Input to awk program:
    gohalt 1
    nbs 5
    T 2-state 5-symbol #e from T.J. & S. Ligocki
    5T  1RB 2RA 1LA 3LA 2RA  2LA 3RB 4LA 1LB 1RH
    : 114,668,733          9,392,084,729,807,219
    L 44
    M	201
    pref	sim
    machv Lig25_e  	just simple
    machv Lig25_e-r	with repetitions reduced
    machv Lig25_e-1	with tape symbol exponents
    machv Lig25_e-m	as 1-macro machine
    machv Lig25_e-a	as 1-macro machine with pure additive config-TRs
    iam	Lig25_e-a
    mtype	1
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:12:44 CEST 2010
    edate	Tue Jul  6 22:12:44 CEST 2010
    bnspeed	1

Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $ $Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $ $Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $ $Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $ $Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $ $Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $ bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:12:44 CEST 2010
Ready: Tue Jul 6 22:12:44 CEST 2010