5-state TM #2 from MaBu-List

Comment: This TM produces 4098 ones in 11798826 steps.

State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1L A1L 1 left B 1 left A
B C1R B1R 1 right C 1 right B
C A1L D1R 1 left A 1 right D
D A1L E1R 1 left A 1 right E
E H1R C0R 1 right H 0 right C
Transition table
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-macro machine.
Simulation is done as 3-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 3.

Steps             BasSteps              BasTpos  Tape contents
    0                    0                    0  A>
    1                    1                   -1  <B 100
    2                    2                    0  001 C> 100
    3                    5                   -1  001 <A 110
    4                   10                    0  111 E> 110
    5                   15                   -1  111 <B 111
    6                   16                    0  111 B> 111
    7                   19                    3  1112 B>
    8                   22                    2  1112 <A 110
    9                   28                   -4  <A 1112 110
   10                   31                   -3  011 D> 1112 110
   11                   37                    3  011 1012 D> 110
   12                   44                    6  011 1012 111 B>
   13                   47                    5  011 1012 111 <A 110
   14                   50                    2  011 1012 <A 111 110
   15                   55                    3  011 101 111 B> 111 110
   16                   58                    6  011 101 1112 B> 110
   17                   61                    9  011 101 1113 C>
   18                   62                    8  011 101 1113 <A 100
   19                   71                   -1  011 101 <A 1113 100
   20                   76                    0  011 111 B> 1113 100
   21                   85                    9  011 1114 B> 100
   22                   90                    8  011 1114 <A 111
   23                  102                   -4  011 <A 1115
   24                  105                   -7  <B 1116
   25                  106                   -6  001 C> 1116
   26                  124                   12  001 1106 C>
   27                  125                   11  001 1106 <A 100
   28                  128                   12  001 1105 111 B> 100
   29                  133                   11  001 1105 111 <A 111
   30                  136                    8  001 1105 <A 1112
   31                  139                    9  001 1104 111 B> 1112
   32                  145                   15  001 1104 1113 B>
   33                  148                   14  001 1104 1113 <A 110
   34                  157                    5  001 1104 <A 1113 110
   35                  160                    6  001 1103 111 B> 1113 110
   36                  169                   15  001 1103 1114 B> 110
   37                  172                   18  001 1103 1115 C>
   38                  173                   17  001 1103 1115 <A 100
   39                  188                    2  001 1103 <A 1115 100
   40                  191                    3  001 1102 111 B> 1115 100
   41                  206                   18  001 1102 1116 B> 100
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* 1104+V(2) 1111+V(1) B> 100
    1                    5                   -1  [*]* 1104+V(2) 1111+V(1) <A 111
    2             8+3*V(1)           -4+-3*V(1)  [*]* 1104+V(2) <A 1112+V(1)
    3            11+3*V(1)           -3+-3*V(1)  [*]* 1103+V(2) 111 B> 1112+V(1)
    4            17+6*V(1)                    3  [*]* 1103+V(2) 1113+V(1) B>
    5            20+6*V(1)                    2  [*]* 1103+V(2) 1113+V(1) <A 110
    6            29+9*V(1)           -7+-3*V(1)  [*]* 1103+V(2) <A 1113+V(1) 110
    7            32+9*V(1)           -6+-3*V(1)  [*]* 1102+V(2) 111 B> 1113+V(1) 110
    8           41+12*V(1)                    3  [*]* 1102+V(2) 1114+V(1) B> 110
    9           44+12*V(1)                    6  [*]* 1102+V(2) 1115+V(1) C>
   10           45+12*V(1)                    5  [*]* 1102+V(2) 1115+V(1) <A 100
   11           60+15*V(1)          -10+-3*V(1)  [*]* 1102+V(2) <A 1115+V(1) 100
   12           63+15*V(1)           -9+-3*V(1)  [*]* 1101+V(2) 111 B> 1115+V(1) 100
   13           78+18*V(1)                    6  [*]* 1101+V(2) 1116+V(1) B> 100
<< Success! ==> defined new CTR 1 (PA)
   42                  211                   17  001 1102 1116 <A 111
   43                  229                   -1  001 1102 <A 1117
   44                  232                    0  001 110 111 B> 1117
   45                  253                   21  001 110 1118 B>
   46                  256                   20  001 110 1118 <A 110
   47                  280                   -4  001 110 <A 1118 110
   48                  283                   -3  001 111 B> 1118 110
   49                  307                   21  001 1119 B> 110
   50                  310                   24  001 11110 C>
   51                  311                   23  001 11110 <A 100
   52                  341                   -7  001 <A 11110 100
   53                  346                   -6  111 E> 11110 100
   54                  376                   24  111 01110 E> 100
   55                  379                   23  111 01110 <B 110
   56                  380                   24  111 01110 B> 110
   57                  383                   27  111 01110 111 C>
   58                  384                   26  111 01110 111 <A 100
   59                  387                   23  111 01110 <A 111 100
   60                  390                   20  111 0119 <B 1112 100
   61                  391                   21  111 0119 B> 1112 100
   62                  397                   27  111 0119 1112 B> 100
   63                  402                   26  111 0119 1112 <A 111
   64                  408                   20  111 0119 <A 1113
   65                  411                   17  111 0118 <B 1114
   66                  412                   18  111 0118 B> 1114
   67                  424                   30  111 0118 1114 B>
   68                  427                   29  111 0118 1114 <A 110
   69                  439                   17  111 0118 <A 1114 110
   70                  442                   14  111 0117 <B 1115 110
   71                  443                   15  111 0117 B> 1115 110
   72                  458                   30  111 0117 1115 B> 110
   73                  461                   33  111 0117 1116 C>
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* 0114+V(2) 1111+V(1) C>
    1                    1                   -1  [*]* 0114+V(2) 1111+V(1) <A 100
    2             4+3*V(1)           -4+-3*V(1)  [*]* 0114+V(2) <A 1111+V(1) 100
    3             7+3*V(1)           -7+-3*V(1)  [*]* 0113+V(2) <B 1112+V(1) 100
    4             8+3*V(1)           -6+-3*V(1)  [*]* 0113+V(2) B> 1112+V(1) 100
    5            14+6*V(1)                    0  [*]* 0113+V(2) 1112+V(1) B> 100
    6            19+6*V(1)                   -1  [*]* 0113+V(2) 1112+V(1) <A 111
    7            25+9*V(1)           -7+-3*V(1)  [*]* 0113+V(2) <A 1113+V(1)
    8            28+9*V(1)          -10+-3*V(1)  [*]* 0112+V(2) <B 1114+V(1)
    9            29+9*V(1)           -9+-3*V(1)  [*]* 0112+V(2) B> 1114+V(1)
   10           41+12*V(1)                    3  [*]* 0112+V(2) 1114+V(1) B>
   11           44+12*V(1)                    2  [*]* 0112+V(2) 1114+V(1) <A 110
   12           56+15*V(1)          -10+-3*V(1)  [*]* 0112+V(2) <A 1114+V(1) 110
   13           59+15*V(1)          -13+-3*V(1)  [*]* 0111+V(2) <B 1115+V(1) 110
   14           60+15*V(1)          -12+-3*V(1)  [*]* 0111+V(2) B> 1115+V(1) 110
   15           75+18*V(1)                    3  [*]* 0111+V(2) 1115+V(1) B> 110
   16           78+18*V(1)                    6  [*]* 0111+V(2) 1116+V(1) C>
<< Success! ==> defined new CTR 2 (PA)
   73                  461                   33  111 0117 1116 C>
== Executing  PA-CTR  2, V(1)=5, V(2)=3, repcount=2, factor=5/3
  105                  887                   45  111 011 11116 C>
  106                  888                   44  111 011 11116 <A 100
  107                  936                   -4  111 011 <A 11116 100
  108                  939                   -7  111 <B 11117 100
  109                  940                   -6  111 B> 11117 100
  110                  991                   45  11118 B> 100
  111                  996                   44  11118 <A 111
  112                 1050                  -10  <A 11119
  113                 1053                   -9  011 D> 11119
  114                 1110                   48  011 10119 D>
  115                 1111                   47  011 10119 <A 100
  116                 1116                   48  011 10118 111 B> 100
  117                 1121                   47  011 10118 111 <A 111
  118                 1124                   44  011 10118 <A 1112
  119                 1129                   45  011 10117 111 B> 1112
  120                 1135                   51  011 10117 1113 B>
  121                 1138                   50  011 10117 1113 <A 110
  122                 1147                   41  011 10117 <A 1113 110
  123                 1152                   42  011 10116 111 B> 1113 110
  124                 1161                   51  011 10116 1114 B> 110
  125                 1164                   54  011 10116 1115 C>
  126                 1165                   53  011 10116 1115 <A 100
  127                 1180                   38  011 10116 <A 1115 100
  128                 1185                   39  011 10115 111 B> 1115 100
  129                 1200                   54  011 10115 1116 B> 100
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* 1014+V(2) 1111+V(1) B> 100
    1                    5                   -1  [*]* 1014+V(2) 1111+V(1) <A 111
    2             8+3*V(1)           -4+-3*V(1)  [*]* 1014+V(2) <A 1112+V(1)
    3            13+3*V(1)           -3+-3*V(1)  [*]* 1013+V(2) 111 B> 1112+V(1)
    4            19+6*V(1)                    3  [*]* 1013+V(2) 1113+V(1) B>
    5            22+6*V(1)                    2  [*]* 1013+V(2) 1113+V(1) <A 110
    6            31+9*V(1)           -7+-3*V(1)  [*]* 1013+V(2) <A 1113+V(1) 110
    7            36+9*V(1)           -6+-3*V(1)  [*]* 1012+V(2) 111 B> 1113+V(1) 110
    8           45+12*V(1)                    3  [*]* 1012+V(2) 1114+V(1) B> 110
    9           48+12*V(1)                    6  [*]* 1012+V(2) 1115+V(1) C>
   10           49+12*V(1)                    5  [*]* 1012+V(2) 1115+V(1) <A 100
   11           64+15*V(1)          -10+-3*V(1)  [*]* 1012+V(2) <A 1115+V(1) 100
   12           69+15*V(1)           -9+-3*V(1)  [*]* 1011+V(2) 111 B> 1115+V(1) 100
   13           84+18*V(1)                    6  [*]* 1011+V(2) 1116+V(1) B> 100
<< Success! ==> defined new CTR 3 (PA)
  129                 1200                   54  011 10115 1116 B> 100
== Executing  PA-CTR  3, V(1)=5, V(2)=11, repcount=4, factor=5/3
  181                 2436                   78  011 1013 11126 B> 100
  182                 2441                   77  011 1013 11126 <A 111
  183                 2519                   -1  011 1013 <A 11127
  184                 2524                    0  011 1012 111 B> 11127
  185                 2605                   81  011 1012 11128 B>
  186                 2608                   80  011 1012 11128 <A 110
  187                 2692                   -4  011 1012 <A 11128 110
  188                 2697                   -3  011 101 111 B> 11128 110
  189                 2781                   81  011 101 11129 B> 110
  190                 2784                   84  011 101 11130 C>
  191                 2785                   83  011 101 11130 <A 100
  192                 2875                   -7  011 101 <A 11130 100
  193                 2880                   -6  011 111 B> 11130 100
  194                 2970                   84  011 11131 B> 100
  195                 2975                   83  011 11131 <A 111
  196                 3068                  -10  011 <A 11132
  197                 3071                  -13  <B 11133
  198                 3072                  -12  001 C> 11133
  199                 3171                   87  001 11033 C>
  200                 3172                   86  001 11033 <A 100
  201                 3175                   87  001 11032 111 B> 100
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  011 1013 1111+V(1) B> 100
    1                    5                   -1  011 1013 1111+V(1) <A 111
    2             8+3*V(1)           -4+-3*V(1)  011 1013 <A 1112+V(1)
    3            13+3*V(1)           -3+-3*V(1)  011 1012 111 B> 1112+V(1)
    4            19+6*V(1)                    3  011 1012 1113+V(1) B>
    5            22+6*V(1)                    2  011 1012 1113+V(1) <A 110
    6            31+9*V(1)           -7+-3*V(1)  011 1012 <A 1113+V(1) 110
    7            36+9*V(1)           -6+-3*V(1)  011 101 111 B> 1113+V(1) 110
    8           45+12*V(1)                    3  011 101 1114+V(1) B> 110
    9           48+12*V(1)                    6  011 101 1115+V(1) C>
   10           49+12*V(1)                    5  011 101 1115+V(1) <A 100
   11           64+15*V(1)          -10+-3*V(1)  011 101 <A 1115+V(1) 100
   12           69+15*V(1)           -9+-3*V(1)  011 111 B> 1115+V(1) 100
   13           84+18*V(1)                    6  011 1116+V(1) B> 100
   14           89+18*V(1)                    5  011 1116+V(1) <A 111
   15          107+21*V(1)          -13+-3*V(1)  011 <A 1117+V(1)
   16          110+21*V(1)          -16+-3*V(1)  <B 1118+V(1)
   17          111+21*V(1)          -15+-3*V(1)  001 C> 1118+V(1)
   18          135+24*V(1)                    9  001 1108+V(1) C>
   19          136+24*V(1)                    8  001 1108+V(1) <A 100
   20          139+24*V(1)                    9  001 1107+V(1) 111 B> 100
<< Success! ==> defined new CTR 4 (PPA)
  201                 3175                   87  001 11032 111 B> 100
== Executing  PA-CTR  1, V(1)=0, V(2)=28, repcount=10, factor=5/3
  331                 8005                  147  001 1102 11151 B> 100
  332                 8010                  146  001 1102 11151 <A 111
  333                 8163                   -7  001 1102 <A 11152
  334                 8166                   -6  001 110 111 B> 11152
  335                 8322                  150  001 110 11153 B>
  336                 8325                  149  001 110 11153 <A 110
  337                 8484                  -10  001 110 <A 11153 110
  338                 8487                   -9  001 111 B> 11153 110
  339                 8646                  150  001 11154 B> 110
  340                 8649                  153  001 11155 C>
  341                 8650                  152  001 11155 <A 100
  342                 8815                  -13  001 <A 11155 100
  343                 8820                  -12  111 E> 11155 100
  344                 8985                  153  111 01155 E> 100
  345                 8988                  152  111 01155 <B 110
  346                 8989                  153  111 01155 B> 110
  347                 8992                  156  111 01155 111 C>
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  001 1102 1111+V(1) B> 100
    1                    5                   -1  001 1102 1111+V(1) <A 111
    2             8+3*V(1)           -4+-3*V(1)  001 1102 <A 1112+V(1)
    3            11+3*V(1)           -3+-3*V(1)  001 110 111 B> 1112+V(1)
    4            17+6*V(1)                    3  001 110 1113+V(1) B>
    5            20+6*V(1)                    2  001 110 1113+V(1) <A 110
    6            29+9*V(1)           -7+-3*V(1)  001 110 <A 1113+V(1) 110
    7            32+9*V(1)           -6+-3*V(1)  001 111 B> 1113+V(1) 110
    8           41+12*V(1)                    3  001 1114+V(1) B> 110
    9           44+12*V(1)                    6  001 1115+V(1) C>
   10           45+12*V(1)                    5  001 1115+V(1) <A 100
   11           60+15*V(1)          -10+-3*V(1)  001 <A 1115+V(1) 100
   12           65+15*V(1)           -9+-3*V(1)  111 E> 1115+V(1) 100
   13           80+18*V(1)                    6  111 0115+V(1) E> 100
   14           83+18*V(1)                    5  111 0115+V(1) <B 110
   15           84+18*V(1)                    6  111 0115+V(1) B> 110
   16           87+18*V(1)                    9  111 0115+V(1) 111 C>
<< Success! ==> defined new CTR 5 (PPA)
  347                 8992                  156  111 01155 111 C>
== Executing  PA-CTR  2, V(1)=0, V(2)=51, repcount=18, factor=5/3
  635                24166                  264  111 011 11191 C>
  636                24167                  263  111 011 11191 <A 100
  637                24440                  -10  111 011 <A 11191 100
  638                24443                  -13  111 <B 11192 100
  639                24444                  -12  111 B> 11192 100
  640                24720                  264  11193 B> 100
  641                24725                  263  11193 <A 111
  642                25004                  -16  <A 11194
  643                25007                  -15  011 D> 11194
  644                25289                  267  011 10194 D>
  645                25290                  266  011 10194 <A 100
  646                25295                  267  011 10193 111 B> 100
>> Try to prove a PPA-CTR with 2 Vars...
    0                    0                    0  1111+V(2) 011 1112+V(1) C>
    1                    1                   -1  1111+V(2) 011 1112+V(1) <A 100
    2             7+3*V(1)           -7+-3*V(1)  1111+V(2) 011 <A 1112+V(1) 100
    3            10+3*V(1)          -10+-3*V(1)  1111+V(2) <B 1113+V(1) 100
    4            11+3*V(1)           -9+-3*V(1)  1111+V(2) B> 1113+V(1) 100
    5            20+6*V(1)                    0  1114+V(1)+V(2) B> 100
    6            25+6*V(1)                   -1  1114+V(1)+V(2) <A 111
    7     37+9*V(1)+3*V(2)  -13+-3*V(1)+-3*V(2)  <A 1115+V(1)+V(2)
    8     40+9*V(1)+3*V(2)  -12+-3*V(1)+-3*V(2)  011 D> 1115+V(1)+V(2)
    9    55+12*V(1)+6*V(2)                    3  011 1015+V(1)+V(2) D>
   10    56+12*V(1)+6*V(2)                    2  011 1015+V(1)+V(2) <A 100
   11    61+12*V(1)+6*V(2)                    3  011 1014+V(1)+V(2) 111 B> 100
<< Success! ==> defined new CTR 6 (PPA)
  646                25295                  267  011 10193 111 B> 100
== Executing  PA-CTR  3, V(1)=0, V(2)=89, repcount=30, factor=5/3
 1036                66965                  447  011 1013 111151 B> 100
== Executing PPA-CTR  4 (once), V(1)=150
 1056                70704                  456  001 110157 111 B> 100
== Executing  PA-CTR  1, V(1)=0, V(2)=153, repcount=52, factor=5/3
 1732               194100                  768  001 110 111261 B> 100
 1733               194105                  767  001 110 111261 <A 111
 1734               194888                  -16  001 110 <A 111262
 1735               194891                  -15  001 111 B> 111262
 1736               195677                  771  001 111263 B>
 1737               195680                  770  001 111263 <A 110
 1738               196469                  -19  001 <A 111263 110
 1739               196474                  -18  111 E> 111263 110
 1740               197263                  771  111 011263 E> 110
 1741               197268                  770  111 011263 <B 111
 1742               197269                  771  111 011263 B> 111
 1743               197272                  774  111 011263 111 B>
 1744               197275                  773  111 011263 111 <A 110
 1745               197278                  770  111 011263 <A 111 110
 1746               197281                  767  111 011262 <B 1112 110
 1747               197282                  768  111 011262 B> 1112 110
 1748               197288                  774  111 011262 1112 B> 110
 1749               197291                  777  111 011262 1113 C>
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  001 110 1113+V(1) B> 100
    1                    5                   -1  001 110 1113+V(1) <A 111
    2            14+3*V(1)          -10+-3*V(1)  001 110 <A 1114+V(1)
    3            17+3*V(1)           -9+-3*V(1)  001 111 B> 1114+V(1)
    4            29+6*V(1)                    3  001 1115+V(1) B>
    5            32+6*V(1)                    2  001 1115+V(1) <A 110
    6            47+9*V(1)          -13+-3*V(1)  001 <A 1115+V(1) 110
    7            52+9*V(1)          -12+-3*V(1)  111 E> 1115+V(1) 110
    8           67+12*V(1)                    3  111 0115+V(1) E> 110
    9           72+12*V(1)                    2  111 0115+V(1) <B 111
   10           73+12*V(1)                    3  111 0115+V(1) B> 111
   11           76+12*V(1)                    6  111 0115+V(1) 111 B>
   12           79+12*V(1)                    5  111 0115+V(1) 111 <A 110
   13           82+12*V(1)                    2  111 0115+V(1) <A 111 110
   14           85+12*V(1)                   -1  111 0114+V(1) <B 1112 110
   15           86+12*V(1)                    0  111 0114+V(1) B> 1112 110
   16           92+12*V(1)                    6  111 0114+V(1) 1112 B> 110
   17           95+12*V(1)                    9  111 0114+V(1) 1113 C>
<< Success! ==> defined new CTR 7 (PPA)
 1749               197291                  777  111 011262 1113 C>
== Executing  PA-CTR  2, V(1)=2, V(2)=258, repcount=87, factor=5/3
 3141               543899                 1299  111 011 111438 C>
== Executing PPA-CTR  6 (once), V(1)=436, V(2)=0
 3152               549192                 1302  011 101440 111 B> 100
== Executing  PA-CTR  3, V(1)=0, V(2)=436, repcount=146, factor=5/3
 5050              1514106                 2178  011 1012 111731 B> 100
 5051              1514111                 2177  011 1012 111731 <A 111
 5052              1516304                  -16  011 1012 <A 111732
 5053              1516309                  -15  011 101 111 B> 111732
 5054              1518505                 2181  011 101 111733 B>
 5055              1518508                 2180  011 101 111733 <A 110
 5056              1520707                  -19  011 101 <A 111733 110
 5057              1520712                  -18  011 111 B> 111733 110
 5058              1522911                 2181  011 111734 B> 110
 5059              1522914                 2184  011 111735 C>
 5060              1522915                 2183  011 111735 <A 100
 5061              1525120                  -22  011 <A 111735 100
 5062              1525123                  -25  <B 111736 100
 5063              1525124                  -24  001 C> 111736 100
 5064              1527332                 2184  001 110736 C> 100
 5065              1527335                 2183  001 110736 <A 110
 5066              1527338                 2184  001 110735 111 B> 110
 5067              1527341                 2187  001 110735 1112 C>
 5068              1527342                 2186  001 110735 1112 <A 100
 5069              1527348                 2180  001 110735 <A 1112 100
 5070              1527351                 2181  001 110734 111 B> 1112 100
 5071              1527357                 2187  001 110734 1113 B> 100
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  011 1012 1111+V(1) B> 100
    1                    5                   -1  011 1012 1111+V(1) <A 111
    2             8+3*V(1)           -4+-3*V(1)  011 1012 <A 1112+V(1)
    3            13+3*V(1)           -3+-3*V(1)  011 101 111 B> 1112+V(1)
    4            19+6*V(1)                    3  011 101 1113+V(1) B>
    5            22+6*V(1)                    2  011 101 1113+V(1) <A 110
    6            31+9*V(1)           -7+-3*V(1)  011 101 <A 1113+V(1) 110
    7            36+9*V(1)           -6+-3*V(1)  011 111 B> 1113+V(1) 110
    8           45+12*V(1)                    3  011 1114+V(1) B> 110
    9           48+12*V(1)                    6  011 1115+V(1) C>
   10           49+12*V(1)                    5  011 1115+V(1) <A 100
   11           64+15*V(1)          -10+-3*V(1)  011 <A 1115+V(1) 100
   12           67+15*V(1)          -13+-3*V(1)  <B 1116+V(1) 100
   13           68+15*V(1)          -12+-3*V(1)  001 C> 1116+V(1) 100
   14           86+18*V(1)                    6  001 1106+V(1) C> 100
   15           89+18*V(1)                    5  001 1106+V(1) <A 110
   16           92+18*V(1)                    6  001 1105+V(1) 111 B> 110
   17           95+18*V(1)                    9  001 1105+V(1) 1112 C>
   18           96+18*V(1)                    8  001 1105+V(1) 1112 <A 100
   19          102+18*V(1)                    2  001 1105+V(1) <A 1112 100
   20          105+18*V(1)                    3  001 1104+V(1) 111 B> 1112 100
   21          111+18*V(1)                    9  001 1104+V(1) 1113 B> 100
<< Success! ==> defined new CTR 8 (PPA)
 5071              1527357                 2187  001 110734 1113 B> 100
== Executing  PA-CTR  1, V(1)=2, V(2)=730, repcount=244, factor=5/3
 8243              4223313                 3651  001 1102 1111223 B> 100
== Executing PPA-CTR  5 (once), V(1)=1222
 8259              4245396                 3660  111 0111227 111 C>
== Executing  PA-CTR  2, V(1)=0, V(2)=1223, repcount=408, factor=5/3
14787             11749740                 6108  111 0113 1112041 C>
14788             11749741                 6107  111 0113 1112041 <A 100
14789             11755864                  -16  111 0113 <A 1112041 100
14790             11755867                  -19  111 0112 <B 1112042 100
14791             11755868                  -18  111 0112 B> 1112042 100
14792             11761994                 6108  111 0112 1112042 B> 100
14793             11761999                 6107  111 0112 1112042 <A 111
14794             11768125                  -19  111 0112 <A 1112043
14795             11768128                  -22  111 011 <B 1112044
14796             11768129                  -21  111 011 B> 1112044
14797             11774261                 6111  111 011 1112044 B>
14798             11774264                 6110  111 011 1112044 <A 110
14799             11780396                  -22  111 011 <A 1112044 110
14800             11780399                  -25  111 <B 1112045 110
14801             11780400                  -24  111 B> 1112045 110
14802             11786535                 6111  1112046 B> 110
14803             11786538                 6114  1112047 C>
14804             11786539                 6113  1112047 <A 100
14805             11792680                  -28  <A 1112047 100
14806             11792683                  -27  011 D> 1112047 100
14807             11798824                 6114  011 1012047 D> 100
14808             11798826                 6116  011 1012047 11 H> 0   [stop]

Lines:       217
Top steps:   216
Macro steps: 14808
Basic steps: 11798826
Tape index:  6116
ones:        4098
log10(ones    ):    3.613
log10(steps   ):    7.072
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 3-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
    5T B1L A1L C1R B1R A1L D1R A1L E1R H1R C0R : 4098 11798826
    T 5-state TM #2 from MaBu-List
    M	300
    pref	sim
    machv mbL5_2  	just simple
    machv mbL5_2-r	with repetitions reduced
    machv mbL5_2-1	with tape symbol exponents
    machv mbL5_2-m	as 3-macro machine
    machv mbL5_2-a	as 3-macro machine with pure additive config-TRs
    iam	mbL5_2-a
    mtype	3
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:10:16 CEST 2010
    edate	Tue Jul  6 22:10:17 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:10:16 CEST 2010
Ready: Tue Jul 6 22:10:17 CEST 2010