3-state 3-symbol TM #b of G. Lafitte & C. Papazian

Comment: This TM produces 107'900 nonzeros in 4'939'345'068 steps.

State on
0
on
1
on
2
on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
A B1R Z1R B2R 1 right B 1 right Z 2 right B
B C1L B0L A1R 1 left C 0 left B 1 right A
C A1R C2L C1R 1 right A 2 left C 1 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 2-macro machine.
Simulation is done as 2-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 2.

Steps             BasSteps              BasTpos  Tape contents
    0                    0                    0  A>
    1                    3                   -1  <C 21
    2                    4                    0  01 A> 21
    3                    8                    2  01 11 B>
    4                    9                    1  01 11 <C 10
    5                   11                   -1  01 <C 22 10
    6                   14                    0  12 B> 22 10
    7                   16                    2  122 B> 10
    8                   17                    1  122 <B
    9                   18                    2  12 11 A>
   10                   21                    1  12 11 <C 21
   11                   23                   -1  12 <C 22 21
   12                   24                    0  11 C> 22 21
   13                   26                    2  112 C> 21
   14                   29                    1  112 <C 22
   15                   33                   -3  <C 223
   16                   34                   -2  01 A> 223
   17                   40                    4  01 213 A>
   18                   43                    3  01 213 <C 21
   19                   46                    4  01 212 11 C> 21
   20                   49                    3  01 212 11 <C 22
   21                   51                    1  01 212 <C 222
   22                   54                    2  01 21 11 C> 222
   23                   58                    6  01 21 113 C>
   24                   60                    8  01 21 114 B>
   25                   61                    7  01 21 114 <C 10
   26                   69                   -1  01 21 <C 224 10
   27                   72                    0  01 11 C> 224 10
   28                   80                    8  01 115 C> 10
   29                   81                    7  01 115 <C 20
   30                   91                   -3  01 <C 225 20
   31                   94                   -2  12 B> 225 20
   32                  104                    8  126 B> 20
   33                  106                   10  126 11 B>
   34                  107                    9  126 11 <C 10
   35                  109                    7  126 <C 22 10
   36                  110                    8  125 11 C> 22 10
   37                  112                   10  125 112 C> 10
   38                  113                    9  125 112 <C 20
   39                  117                    5  125 <C 222 20
   40                  118                    6  124 11 C> 222 20
   41                  122                   10  124 113 C> 20
   42                  124                   12  124 114 A>
   43                  127                   11  124 114 <C 21
   44                  135                    3  124 <C 224 21
   45                  136                    4  123 11 C> 224 21
   46                  144                   12  123 115 C> 21
   47                  147                   11  123 115 <C 22
   48                  157                    1  123 <C 226
   49                  158                    2  122 11 C> 226
   50                  170                   14  122 117 C>
   51                  172                   16  122 118 B>
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  125+V(2) 111+V(1) B>
    1                    1                   -1  125+V(2) 111+V(1) <C 10
    2             3+2*V(1)           -3+-2*V(1)  125+V(2) <C 221+V(1) 10
    3             4+2*V(1)           -2+-2*V(1)  124+V(2) 11 C> 221+V(1) 10
    4             6+4*V(1)                    0  124+V(2) 112+V(1) C> 10
    5             7+4*V(1)                   -1  124+V(2) 112+V(1) <C 20
    6            11+6*V(1)           -5+-2*V(1)  124+V(2) <C 222+V(1) 20
    7            12+6*V(1)           -4+-2*V(1)  123+V(2) 11 C> 222+V(1) 20
    8            16+8*V(1)                    0  123+V(2) 113+V(1) C> 20
    9            18+8*V(1)                    2  123+V(2) 114+V(1) A>
   10            21+8*V(1)                    1  123+V(2) 114+V(1) <C 21
   11           29+10*V(1)           -7+-2*V(1)  123+V(2) <C 224+V(1) 21
   12           30+10*V(1)           -6+-2*V(1)  122+V(2) 11 C> 224+V(1) 21
   13           38+12*V(1)                    2  122+V(2) 115+V(1) C> 21
   14           41+12*V(1)                    1  122+V(2) 115+V(1) <C 22
   15           51+14*V(1)           -9+-2*V(1)  122+V(2) <C 226+V(1)
   16           52+14*V(1)           -8+-2*V(1)  121+V(2) 11 C> 226+V(1)
   17           64+16*V(1)                    4  121+V(2) 117+V(1) C>
   18           66+16*V(1)                    6  121+V(2) 118+V(1) B>
<< Success! ==> defined new CTR 1 (PA)
   52                  173                   15  122 118 <C 10
   53                  189                   -1  122 <C 228 10
   54                  190                    0  12 11 C> 228 10
   55                  206                   16  12 119 C> 10
   56                  207                   15  12 119 <C 20
   57                  225                   -3  12 <C 229 20
   58                  226                   -2  11 C> 229 20
   59                  244                   16  1110 C> 20
   60                  246                   18  1111 A>
   61                  249                   17  1111 <C 21
   62                  271                   -5  <C 2211 21
   63                  272                   -4  01 A> 2211 21
   64                  294                   18  01 2111 A> 21
   65                  298                   20  01 2111 11 B>
   66                  299                   19  01 2111 11 <C 10
   67                  301                   17  01 2111 <C 22 10
   68                  304                   18  01 2110 11 C> 22 10
   69                  306                   20  01 2110 112 C> 10
   70                  307                   19  01 2110 112 <C 20
   71                  311                   15  01 2110 <C 222 20
   72                  314                   16  01 219 11 C> 222 20
   73                  318                   20  01 219 113 C> 20
   74                  320                   22  01 219 114 A>
   75                  323                   21  01 219 114 <C 21
   76                  331                   13  01 219 <C 224 21
   77                  334                   14  01 218 11 C> 224 21
   78                  342                   22  01 218 115 C> 21
   79                  345                   21  01 218 115 <C 22
   80                  355                   11  01 218 <C 226
   81                  358                   12  01 217 11 C> 226
   82                  370                   24  01 217 117 C>
   83                  372                   26  01 217 118 B>
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* 215+V(2) 111+V(1) B>
    1                    1                   -1  [*]* 215+V(2) 111+V(1) <C 10
    2             3+2*V(1)           -3+-2*V(1)  [*]* 215+V(2) <C 221+V(1) 10
    3             6+2*V(1)           -2+-2*V(1)  [*]* 214+V(2) 11 C> 221+V(1) 10
    4             8+4*V(1)                    0  [*]* 214+V(2) 112+V(1) C> 10
    5             9+4*V(1)                   -1  [*]* 214+V(2) 112+V(1) <C 20
    6            13+6*V(1)           -5+-2*V(1)  [*]* 214+V(2) <C 222+V(1) 20
    7            16+6*V(1)           -4+-2*V(1)  [*]* 213+V(2) 11 C> 222+V(1) 20
    8            20+8*V(1)                    0  [*]* 213+V(2) 113+V(1) C> 20
    9            22+8*V(1)                    2  [*]* 213+V(2) 114+V(1) A>
   10            25+8*V(1)                    1  [*]* 213+V(2) 114+V(1) <C 21
   11           33+10*V(1)           -7+-2*V(1)  [*]* 213+V(2) <C 224+V(1) 21
   12           36+10*V(1)           -6+-2*V(1)  [*]* 212+V(2) 11 C> 224+V(1) 21
   13           44+12*V(1)                    2  [*]* 212+V(2) 115+V(1) C> 21
   14           47+12*V(1)                    1  [*]* 212+V(2) 115+V(1) <C 22
   15           57+14*V(1)           -9+-2*V(1)  [*]* 212+V(2) <C 226+V(1)
   16           60+14*V(1)           -8+-2*V(1)  [*]* 211+V(2) 11 C> 226+V(1)
   17           72+16*V(1)                    4  [*]* 211+V(2) 117+V(1) C>
   18           74+16*V(1)                    6  [*]* 211+V(2) 118+V(1) B>
<< Success! ==> defined new CTR 2 (PA)
   83                  372                   26  01 217 118 B>
== Executing  PA-CTR  2, V(1)=7, V(2)=2, repcount=1, factor=7/4
  101                  558                   32  01 213 1115 B>
  102                  559                   31  01 213 1115 <C 10
  103                  589                    1  01 213 <C 2215 10
  104                  592                    2  01 212 11 C> 2215 10
  105                  622                   32  01 212 1116 C> 10
  106                  623                   31  01 212 1116 <C 20
  107                  655                   -1  01 212 <C 2216 20
  108                  658                    0  01 21 11 C> 2216 20
  109                  690                   32  01 21 1117 C> 20
  110                  692                   34  01 21 1118 A>
  111                  695                   33  01 21 1118 <C 21
  112                  731                   -3  01 21 <C 2218 21
  113                  734                   -2  01 11 C> 2218 21
  114                  770                   34  01 1119 C> 21
  115                  773                   33  01 1119 <C 22
  116                  811                   -5  01 <C 2220
  117                  814                   -4  12 B> 2220
  118                  854                   36  1221 B>
  119                  855                   35  1221 <C 10
  120                  856                   36  1220 11 C> 10
  121                  857                   35  1220 11 <C 20
  122                  859                   33  1220 <C 22 20
  123                  860                   34  1219 11 C> 22 20
  124                  862                   36  1219 112 C> 20
  125                  864                   38  1219 113 A>
  126                  867                   37  1219 113 <C 21
  127                  873                   31  1219 <C 223 21
  128                  874                   32  1218 11 C> 223 21
  129                  880                   38  1218 114 C> 21
  130                  883                   37  1218 114 <C 22
  131                  891                   29  1218 <C 225
  132                  892                   30  1217 11 C> 225
  133                  902                   40  1217 116 C>
  134                  904                   42  1217 117 B>
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  01 213 113+V(1) B>
    1                    1                   -1  01 213 113+V(1) <C 10
    2             7+2*V(1)           -7+-2*V(1)  01 213 <C 223+V(1) 10
    3            10+2*V(1)           -6+-2*V(1)  01 212 11 C> 223+V(1) 10
    4            16+4*V(1)                    0  01 212 114+V(1) C> 10
    5            17+4*V(1)                   -1  01 212 114+V(1) <C 20
    6            25+6*V(1)           -9+-2*V(1)  01 212 <C 224+V(1) 20
    7            28+6*V(1)           -8+-2*V(1)  01 21 11 C> 224+V(1) 20
    8            36+8*V(1)                    0  01 21 115+V(1) C> 20
    9            38+8*V(1)                    2  01 21 116+V(1) A>
   10            41+8*V(1)                    1  01 21 116+V(1) <C 21
   11           53+10*V(1)          -11+-2*V(1)  01 21 <C 226+V(1) 21
   12           56+10*V(1)          -10+-2*V(1)  01 11 C> 226+V(1) 21
   13           68+12*V(1)                    2  01 117+V(1) C> 21
   14           71+12*V(1)                    1  01 117+V(1) <C 22
   15           85+14*V(1)          -13+-2*V(1)  01 <C 228+V(1)
   16           88+14*V(1)          -12+-2*V(1)  12 B> 228+V(1)
   17          104+16*V(1)                    4  129+V(1) B>
   18          105+16*V(1)                    3  129+V(1) <C 10
   19          106+16*V(1)                    4  128+V(1) 11 C> 10
   20          107+16*V(1)                    3  128+V(1) 11 <C 20
   21          109+16*V(1)                    1  128+V(1) <C 22 20
   22          110+16*V(1)                    2  127+V(1) 11 C> 22 20
   23          112+16*V(1)                    4  127+V(1) 112 C> 20
   24          114+16*V(1)                    6  127+V(1) 113 A>
   25          117+16*V(1)                    5  127+V(1) 113 <C 21
   26          123+16*V(1)                   -1  127+V(1) <C 223 21
   27          124+16*V(1)                    0  126+V(1) 11 C> 223 21
   28          130+16*V(1)                    6  126+V(1) 114 C> 21
   29          133+16*V(1)                    5  126+V(1) 114 <C 22
   30          141+16*V(1)                   -3  126+V(1) <C 225
   31          142+16*V(1)                   -2  125+V(1) 11 C> 225
   32          152+16*V(1)                    8  125+V(1) 116 C>
   33          154+16*V(1)                   10  125+V(1) 117 B>
<< Success! ==> defined new CTR 3 (PPA)
  134                  904                   42  1217 117 B>
== Executing  PA-CTR  1, V(1)=6, V(2)=12, repcount=4, factor=7/4
  206                 2224                   66  12 1135 B>
  207                 2225                   65  12 1135 <C 10
  208                 2295                   -5  12 <C 2235 10
  209                 2296                   -4  11 C> 2235 10
  210                 2366                   66  1136 C> 10
  211                 2367                   65  1136 <C 20
  212                 2439                   -7  <C 2236 20
  213                 2440                   -6  01 A> 2236 20
  214                 2512                   66  01 2136 A> 20
  215                 2517                   65  01 2136 <C 22
  216                 2520                   66  01 2135 11 C> 22
  217                 2522                   68  01 2135 112 C>
  218                 2524                   70  01 2135 113 B>
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  12 115+V(1) B>
    1                    1                   -1  12 115+V(1) <C 10
    2            11+2*V(1)          -11+-2*V(1)  12 <C 225+V(1) 10
    3            12+2*V(1)          -10+-2*V(1)  11 C> 225+V(1) 10
    4            22+4*V(1)                    0  116+V(1) C> 10
    5            23+4*V(1)                   -1  116+V(1) <C 20
    6            35+6*V(1)          -13+-2*V(1)  <C 226+V(1) 20
    7            36+6*V(1)          -12+-2*V(1)  01 A> 226+V(1) 20
    8            48+8*V(1)                    0  01 216+V(1) A> 20
    9            53+8*V(1)                   -1  01 216+V(1) <C 22
   10            56+8*V(1)                    0  01 215+V(1) 11 C> 22
   11            58+8*V(1)                    2  01 215+V(1) 112 C>
   12            60+8*V(1)                    4  01 215+V(1) 113 B>
<< Success! ==> defined new CTR 4 (PPA)
  218                 2524                   70  01 2135 113 B>
== Executing  PA-CTR  2, V(1)=2, V(2)=30, repcount=8, factor=7/4
  362                 6508                  118  01 213 1159 B>
== Executing PPA-CTR  3 (once), V(1)=56
  395                 7558                  128  1261 117 B>
== Executing  PA-CTR  1, V(1)=6, V(2)=56, repcount=15, factor=7/4
  665                21748                  218  12 11112 B>
== Executing PPA-CTR  4 (once), V(1)=107
  677                22664                  222  01 21112 113 B>
== Executing  PA-CTR  2, V(1)=2, V(2)=107, repcount=27, factor=7/4
 1163                64838                  384  01 214 11192 B>
 1164                64839                  383  01 214 11192 <C 10
 1165                65223                   -1  01 214 <C 22192 10
 1166                65226                    0  01 213 11 C> 22192 10
 1167                65610                  384  01 213 11193 C> 10
 1168                65611                  383  01 213 11193 <C 20
 1169                65997                   -3  01 213 <C 22193 20
 1170                66000                   -2  01 212 11 C> 22193 20
 1171                66386                  384  01 212 11194 C> 20
 1172                66388                  386  01 212 11195 A>
 1173                66391                  385  01 212 11195 <C 21
 1174                66781                   -5  01 212 <C 22195 21
 1175                66784                   -4  01 21 11 C> 22195 21
 1176                67174                  386  01 21 11196 C> 21
 1177                67177                  385  01 21 11196 <C 22
 1178                67569                   -7  01 21 <C 22197
 1179                67572                   -6  01 11 C> 22197
 1180                67966                  388  01 11198 C>
 1181                67968                  390  01 11199 B>
 1182                67969                  389  01 11199 <C 10
 1183                68367                   -9  01 <C 22199 10
 1184                68370                   -8  12 B> 22199 10
 1185                68768                  390  12200 B> 10
 1186                68769                  389  12200 <B
 1187                68770                  390  12199 11 A>
 1188                68773                  389  12199 11 <C 21
 1189                68775                  387  12199 <C 22 21
 1190                68776                  388  12198 11 C> 22 21
 1191                68778                  390  12198 112 C> 21
 1192                68781                  389  12198 112 <C 22
 1193                68785                  385  12198 <C 223
 1194                68786                  386  12197 11 C> 223
 1195                68792                  392  12197 114 C>
 1196                68794                  394  12197 115 B>
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  01 214 111+V(1) B>
    1                    1                   -1  01 214 111+V(1) <C 10
    2             3+2*V(1)           -3+-2*V(1)  01 214 <C 221+V(1) 10
    3             6+2*V(1)           -2+-2*V(1)  01 213 11 C> 221+V(1) 10
    4             8+4*V(1)                    0  01 213 112+V(1) C> 10
    5             9+4*V(1)                   -1  01 213 112+V(1) <C 20
    6            13+6*V(1)           -5+-2*V(1)  01 213 <C 222+V(1) 20
    7            16+6*V(1)           -4+-2*V(1)  01 212 11 C> 222+V(1) 20
    8            20+8*V(1)                    0  01 212 113+V(1) C> 20
    9            22+8*V(1)                    2  01 212 114+V(1) A>
   10            25+8*V(1)                    1  01 212 114+V(1) <C 21
   11           33+10*V(1)           -7+-2*V(1)  01 212 <C 224+V(1) 21
   12           36+10*V(1)           -6+-2*V(1)  01 21 11 C> 224+V(1) 21
   13           44+12*V(1)                    2  01 21 115+V(1) C> 21
   14           47+12*V(1)                    1  01 21 115+V(1) <C 22
   15           57+14*V(1)           -9+-2*V(1)  01 21 <C 226+V(1)
   16           60+14*V(1)           -8+-2*V(1)  01 11 C> 226+V(1)
   17           72+16*V(1)                    4  01 117+V(1) C>
   18           74+16*V(1)                    6  01 118+V(1) B>
   19           75+16*V(1)                    5  01 118+V(1) <C 10
   20           91+18*V(1)          -11+-2*V(1)  01 <C 228+V(1) 10
   21           94+18*V(1)          -10+-2*V(1)  12 B> 228+V(1) 10
   22          110+20*V(1)                    6  129+V(1) B> 10
   23          111+20*V(1)                    5  129+V(1) <B
   24          112+20*V(1)                    6  128+V(1) 11 A>
   25          115+20*V(1)                    5  128+V(1) 11 <C 21
   26          117+20*V(1)                    3  128+V(1) <C 22 21
   27          118+20*V(1)                    4  127+V(1) 11 C> 22 21
   28          120+20*V(1)                    6  127+V(1) 112 C> 21
   29          123+20*V(1)                    5  127+V(1) 112 <C 22
   30          127+20*V(1)                    1  127+V(1) <C 223
   31          128+20*V(1)                    2  126+V(1) 11 C> 223
   32          134+20*V(1)                    8  126+V(1) 114 C>
   33          136+20*V(1)                   10  126+V(1) 115 B>
<< Success! ==> defined new CTR 5 (PPA)
 1196                68794                  394  12197 115 B>
== Executing  PA-CTR  1, V(1)=4, V(2)=192, repcount=49, factor=7/4
 2078               206876                  688  12 11348 B>
== Executing PPA-CTR  4 (once), V(1)=343
 2090               209680                  692  01 21348 113 B>
== Executing  PA-CTR  2, V(1)=2, V(2)=343, repcount=86, factor=7/4
 3638               628156                 1208  01 214 11605 B>
== Executing PPA-CTR  5 (once), V(1)=604
 3671               640372                 1218  12610 115 B>
== Executing  PA-CTR  1, V(1)=4, V(2)=605, repcount=152, factor=7/4
 6407              1945444                 2130  122 111069 B>
 6408              1945445                 2129  122 111069 <C 10
 6409              1947583                   -9  122 <C 221069 10
 6410              1947584                   -8  12 11 C> 221069 10
 6411              1949722                 2130  12 111070 C> 10
 6412              1949723                 2129  12 111070 <C 20
 6413              1951863                  -11  12 <C 221070 20
 6414              1951864                  -10  11 C> 221070 20
 6415              1954004                 2130  111071 C> 20
 6416              1954006                 2132  111072 A>
 6417              1954009                 2131  111072 <C 21
 6418              1956153                  -13  <C 221072 21
 6419              1956154                  -12  01 A> 221072 21
 6420              1958298                 2132  01 211072 A> 21
 6421              1958302                 2134  01 211072 11 B>
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  122 112+V(1) B>
    1                    1                   -1  122 112+V(1) <C 10
    2             5+2*V(1)           -5+-2*V(1)  122 <C 222+V(1) 10
    3             6+2*V(1)           -4+-2*V(1)  12 11 C> 222+V(1) 10
    4            10+4*V(1)                    0  12 113+V(1) C> 10
    5            11+4*V(1)                   -1  12 113+V(1) <C 20
    6            17+6*V(1)           -7+-2*V(1)  12 <C 223+V(1) 20
    7            18+6*V(1)           -6+-2*V(1)  11 C> 223+V(1) 20
    8            24+8*V(1)                    0  114+V(1) C> 20
    9            26+8*V(1)                    2  115+V(1) A>
   10            29+8*V(1)                    1  115+V(1) <C 21
   11           39+10*V(1)           -9+-2*V(1)  <C 225+V(1) 21
   12           40+10*V(1)           -8+-2*V(1)  01 A> 225+V(1) 21
   13           50+12*V(1)                    2  01 215+V(1) A> 21
   14           54+12*V(1)                    4  01 215+V(1) 11 B>
<< Success! ==> defined new CTR 6 (PPA)
 6421              1958302                 2134  01 211072 11 B>
== Executing  PA-CTR  2, V(1)=0, V(2)=1067, repcount=267, factor=7/4
11227              5955292                 3736  01 214 111870 B>
== Executing PPA-CTR  5 (once), V(1)=1869
11260              5992808                 3746  121875 115 B>
== Executing  PA-CTR  1, V(1)=4, V(2)=1870, repcount=468, factor=7/4
19684             18292784                 6554  123 113281 B>
19685             18292785                 6553  123 113281 <C 10
19686             18299347                   -9  123 <C 223281 10
19687             18299348                   -8  122 11 C> 223281 10
19688             18305910                 6554  122 113282 C> 10
19689             18305911                 6553  122 113282 <C 20
19690             18312475                  -11  122 <C 223282 20
19691             18312476                  -10  12 11 C> 223282 20
19692             18319040                 6554  12 113283 C> 20
19693             18319042                 6556  12 113284 A>
19694             18319045                 6555  12 113284 <C 21
19695             18325613                  -13  12 <C 223284 21
19696             18325614                  -12  11 C> 223284 21
19697             18332182                 6556  113285 C> 21
19698             18332185                 6555  113285 <C 22
19699             18338755                  -15  <C 223286
19700             18338756                  -14  01 A> 223286
19701             18345328                 6558  01 213286 A>
19702             18345331                 6557  01 213286 <C 21
19703             18345334                 6558  01 213285 11 C> 21
19704             18345337                 6557  01 213285 11 <C 22
19705             18345339                 6555  01 213285 <C 222
19706             18345342                 6556  01 213284 11 C> 222
19707             18345346                 6560  01 213284 113 C>
19708             18345348                 6562  01 213284 114 B>
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  123 112+V(1) B>
    1                    1                   -1  123 112+V(1) <C 10
    2             5+2*V(1)           -5+-2*V(1)  123 <C 222+V(1) 10
    3             6+2*V(1)           -4+-2*V(1)  122 11 C> 222+V(1) 10
    4            10+4*V(1)                    0  122 113+V(1) C> 10
    5            11+4*V(1)                   -1  122 113+V(1) <C 20
    6            17+6*V(1)           -7+-2*V(1)  122 <C 223+V(1) 20
    7            18+6*V(1)           -6+-2*V(1)  12 11 C> 223+V(1) 20
    8            24+8*V(1)                    0  12 114+V(1) C> 20
    9            26+8*V(1)                    2  12 115+V(1) A>
   10            29+8*V(1)                    1  12 115+V(1) <C 21
   11           39+10*V(1)           -9+-2*V(1)  12 <C 225+V(1) 21
   12           40+10*V(1)           -8+-2*V(1)  11 C> 225+V(1) 21
   13           50+12*V(1)                    2  116+V(1) C> 21
   14           53+12*V(1)                    1  116+V(1) <C 22
   15           65+14*V(1)          -11+-2*V(1)  <C 227+V(1)
   16           66+14*V(1)          -10+-2*V(1)  01 A> 227+V(1)
   17           80+16*V(1)                    4  01 217+V(1) A>
   18           83+16*V(1)                    3  01 217+V(1) <C 21
   19           86+16*V(1)                    4  01 216+V(1) 11 C> 21
   20           89+16*V(1)                    3  01 216+V(1) 11 <C 22
   21           91+16*V(1)                    1  01 216+V(1) <C 222
   22           94+16*V(1)                    2  01 215+V(1) 11 C> 222
   23           98+16*V(1)                    6  01 215+V(1) 113 C>
   24          100+16*V(1)                    8  01 215+V(1) 114 B>
<< Success! ==> defined new CTR 7 (PPA)
19708             18345348                 6562  01 213284 114 B>
== Executing  PA-CTR  2, V(1)=3, V(2)=3279, repcount=820, factor=7/4
34468             56053868                11482  01 214 115744 B>
== Executing PPA-CTR  5 (once), V(1)=5743
34501             56168864                11492  125749 115 B>
== Executing  PA-CTR  1, V(1)=4, V(2)=5744, repcount=1437, factor=7/4
60367            171913466                20114  12 1110064 B>
== Executing PPA-CTR  4 (once), V(1)=10059
60379            171993998                20118  01 2110064 113 B>
== Executing  PA-CTR  2, V(1)=2, V(2)=10059, repcount=2515, factor=7/4
105649            526332348                35208  01 214 1117608 B>
== Executing PPA-CTR  5 (once), V(1)=17607
105682            526684624                35218  1217613 115 B>
== Executing  PA-CTR  1, V(1)=4, V(2)=17608, repcount=4403, factor=7/4
184936           1612649350                61636  12 1130826 B>
== Executing PPA-CTR  4 (once), V(1)=30821
184948           1612895978                61640  01 2130826 113 B>
== Executing  PA-CTR  2, V(1)=2, V(2)=30821, repcount=7706, factor=7/4
323656           4938697694               107876  01 212 1153945 B>
323657           4938697695               107875  01 212 1153945 <C 10
323658           4938805585                  -15  01 212 <C 2253945 10
323659           4938805588                  -14  01 21 11 C> 2253945 10
323660           4938913478               107876  01 21 1153946 C> 10
323661           4938913479               107875  01 21 1153946 <C 20
323662           4939021371                  -17  01 21 <C 2253946 20
323663           4939021374                  -16  01 11 C> 2253946 20
323664           4939129266               107876  01 1153947 C> 20
323665           4939129268               107878  01 1153948 A>
323666           4939129271               107877  01 1153948 <C 21
323667           4939237167                  -19  01 <C 2253948 21
323668           4939237170                  -18  12 B> 2253948 21
323669           4939345066               107878  1253949 B> 21
323670           4939345068               107880  1253949 11 Z>
323670           4939345068               107880  1253949 11 Z>   [stop]

Lines:       239
Top steps:   237
Macro steps: 323670
Basic steps: 4939345068
Tape index:  107880
nonzeros:    107900
log10(nonzeros):    5.033
log10(steps   ):    9.694
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 2-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 3
    T 3-state 3-symbol TM #b of G. Lafitte & C. Papazian
    5T  B1R Z1R B2R  C1L B0L A1R  A1R C2L C1R
    : 107'900 4'939'345'068
    L 6
    M	250
    pref	sim
    machv Laf33_b  	just simple
    machv Laf33_b-r	with repetitions reduced
    machv Laf33_b-1	with tape symbol exponents
    machv Laf33_b-m	as 2-macro machine
    machv Laf33_b-a	as 2-macro machine with pure additive config-TRs
    iam	Laf33_b-a
    mtype	2
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:11:46 CEST 2010
    edate	Tue Jul  6 22:11:47 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:11:46 CEST 2010
Ready: Tue Jul 6 22:11:47 CEST 2010