5-state TM #1 from MaBu-List

Comment: This TM produces 4098 ones in 47176870 steps.

State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1L C1R 1 left B 1 right C
B C1L B1L 1 left C 1 left B
C D1L E0R 1 left D 0 right E
D A1R D1R 1 right A 1 right D
E H1L A0R 1 left H 0 right A
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                    6                    0  110 E> 100
    3                    9                   -1  110 <C 110
    4                   12                    0  111 D> 110
    5                   15                    3  1112 A>
    6                   16                    2  1112 <B 100
    7                   22                   -4  <B 1112 100
    8                   27                   -3  110 E> 1112 100
    9                   33                    3  110 0102 E> 100
   10                   36                    2  110 0102 <C 110
   11                   39                    3  110 010 011 D> 110
   12                   42                    6  110 010 011 111 A>
   13                   43                    5  110 010 011 111 <B 100
   14                   46                    2  110 010 011 <B 111 100
   15                   49                   -1  110 010 <C 1112 100
   16                   52                    0  110 011 D> 1112 100
   17                   58                    6  110 011 1112 D> 100
   18                   63                    5  110 011 1112 <B 111
   19                   69                   -1  110 011 <B 1113
   20                   72                   -4  110 <C 1114
   21                   75                   -3  111 D> 1114
   22                   87                    9  1115 D>
   23                   90                    8  1115 <B 110
   24                  105                   -7  <B 1115 110
   25                  110                   -6  110 E> 1115 110
   26                  125                    9  110 0105 E> 110
   27                  130                   12  110 0105 011 D>
   28                  133                   11  110 0105 011 <B 110
   29                  136                    8  110 0105 <C 111 110
   30                  139                    9  110 0104 011 D> 111 110
   31                  142                   12  110 0104 011 111 D> 110
   32                  145                   15  110 0104 011 1112 A>
   33                  146                   14  110 0104 011 1112 <B 100
   34                  152                    8  110 0104 011 <B 1112 100
   35                  155                    5  110 0104 <C 1113 100
   36                  158                    6  110 0103 011 D> 1113 100
   37                  167                   15  110 0103 011 1113 D> 100
   38                  172                   14  110 0103 011 1113 <B 111
   39                  181                    5  110 0103 011 <B 1114
   40                  184                    2  110 0103 <C 1115
   41                  187                    3  110 0102 011 D> 1115
   42                  202                   18  110 0102 011 1115 D>
   43                  205                   17  110 0102 011 1115 <B 110
   44                  220                    2  110 0102 011 <B 1115 110
   45                  223                   -1  110 0102 <C 1116 110
>> Try to prove a PA-CTR with 2 Vars...
    0                    0                    0  [*]* 0104+V(1) <C 1111+V(2) 110
    1                    3                    1  [*]* 0103+V(1) 011 D> 1111+V(2) 110
    2             6+3*V(2)             4+3*V(2)  [*]* 0103+V(1) 011 1111+V(2) D> 110
    3             9+3*V(2)             7+3*V(2)  [*]* 0103+V(1) 011 1112+V(2) A>
    4            10+3*V(2)             6+3*V(2)  [*]* 0103+V(1) 011 1112+V(2) <B 100
    5            16+6*V(2)                    0  [*]* 0103+V(1) 011 <B 1112+V(2) 100
    6            19+6*V(2)                   -3  [*]* 0103+V(1) <C 1113+V(2) 100
    7            22+6*V(2)                   -2  [*]* 0102+V(1) 011 D> 1113+V(2) 100
    8            31+9*V(2)             7+3*V(2)  [*]* 0102+V(1) 011 1113+V(2) D> 100
    9            36+9*V(2)             6+3*V(2)  [*]* 0102+V(1) 011 1113+V(2) <B 111
   10           45+12*V(2)                   -3  [*]* 0102+V(1) 011 <B 1114+V(2)
   11           48+12*V(2)                   -6  [*]* 0102+V(1) <C 1115+V(2)
   12           51+12*V(2)                   -5  [*]* 0101+V(1) 011 D> 1115+V(2)
   13           66+15*V(2)            10+3*V(2)  [*]* 0101+V(1) 011 1115+V(2) D>
   14           69+15*V(2)             9+3*V(2)  [*]* 0101+V(1) 011 1115+V(2) <B 110
   15           84+18*V(2)                   -6  [*]* 0101+V(1) 011 <B 1115+V(2) 110
   16           87+18*V(2)                   -9  [*]* 0101+V(1) <C 1116+V(2) 110
<< Success! ==> defined new CTR 1 (PA)
   46                  226                    0  110 010 011 D> 1116 110
   47                  244                   18  110 010 011 1116 D> 110
   48                  247                   21  110 010 011 1117 A>
   49                  248                   20  110 010 011 1117 <B 100
   50                  269                   -1  110 010 011 <B 1117 100
   51                  272                   -4  110 010 <C 1118 100
   52                  275                   -3  110 011 D> 1118 100
   53                  299                   21  110 011 1118 D> 100
   54                  304                   20  110 011 1118 <B 111
   55                  328                   -4  110 011 <B 1119
   56                  331                   -7  110 <C 11110
   57                  334                   -6  111 D> 11110
   58                  364                   24  11111 D>
   59                  367                   23  11111 <B 110
   60                  400                  -10  <B 11111 110
   61                  405                   -9  110 E> 11111 110
   62                  438                   24  110 01011 E> 110
   63                  443                   27  110 01011 011 D>
   64                  446                   26  110 01011 011 <B 110
   65                  449                   23  110 01011 <C 111 110
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  110 0102 <C 1111+V(1) 110
    1                    3                    1  110 010 011 D> 1111+V(1) 110
    2             6+3*V(1)             4+3*V(1)  110 010 011 1111+V(1) D> 110
    3             9+3*V(1)             7+3*V(1)  110 010 011 1112+V(1) A>
    4            10+3*V(1)             6+3*V(1)  110 010 011 1112+V(1) <B 100
    5            16+6*V(1)                    0  110 010 011 <B 1112+V(1) 100
    6            19+6*V(1)                   -3  110 010 <C 1113+V(1) 100
    7            22+6*V(1)                   -2  110 011 D> 1113+V(1) 100
    8            31+9*V(1)             7+3*V(1)  110 011 1113+V(1) D> 100
    9            36+9*V(1)             6+3*V(1)  110 011 1113+V(1) <B 111
   10           45+12*V(1)                   -3  110 011 <B 1114+V(1)
   11           48+12*V(1)                   -6  110 <C 1115+V(1)
   12           51+12*V(1)                   -5  111 D> 1115+V(1)
   13           66+15*V(1)            10+3*V(1)  1116+V(1) D>
   14           69+15*V(1)             9+3*V(1)  1116+V(1) <B 110
   15           87+18*V(1)                   -9  <B 1116+V(1) 110
   16           92+18*V(1)                   -8  110 E> 1116+V(1) 110
   17          110+21*V(1)            10+3*V(1)  110 0106+V(1) E> 110
   18          115+21*V(1)            13+3*V(1)  110 0106+V(1) 011 D>
   19          118+21*V(1)            12+3*V(1)  110 0106+V(1) 011 <B 110
   20          121+21*V(1)             9+3*V(1)  110 0106+V(1) <C 111 110
<< Success! ==> defined new CTR 2 (PPA)
   65                  449                   23  110 01011 <C 111 110
== Executing  PA-CTR  1, V(1)=7, V(2)=0, repcount=3, factor=5/3
  113                  980                   -4  110 0102 <C 11116 110
== Executing PPA-CTR  2 (once), V(1)=15
  133                 1416                   50  110 01021 <C 111 110
== Executing  PA-CTR  1, V(1)=17, V(2)=0, repcount=6, factor=5/3
  229                 3288                   -4  110 0103 <C 11131 110
  230                 3291                   -3  110 0102 011 D> 11131 110
  231                 3384                   90  110 0102 011 11131 D> 110
  232                 3387                   93  110 0102 011 11132 A>
  233                 3388                   92  110 0102 011 11132 <B 100
  234                 3484                   -4  110 0102 011 <B 11132 100
  235                 3487                   -7  110 0102 <C 11133 100
  236                 3490                   -6  110 010 011 D> 11133 100
  237                 3589                   93  110 010 011 11133 D> 100
  238                 3594                   92  110 010 011 11133 <B 111
  239                 3693                   -7  110 010 011 <B 11134
  240                 3696                  -10  110 010 <C 11135
  241                 3699                   -9  110 011 D> 11135
  242                 3804                   96  110 011 11135 D>
  243                 3807                   95  110 011 11135 <B 110
  244                 3912                  -10  110 011 <B 11135 110
  245                 3915                  -13  110 <C 11136 110
  246                 3918                  -12  111 D> 11136 110
  247                 4026                   96  11137 D> 110
  248                 4029                   99  11138 A>
  249                 4030                   98  11138 <B 100
  250                 4144                  -16  <B 11138 100
  251                 4149                  -15  110 E> 11138 100
  252                 4263                   99  110 01038 E> 100
  253                 4266                   98  110 01038 <C 110
  254                 4269                   99  110 01037 011 D> 110
  255                 4272                  102  110 01037 011 111 A>
  256                 4273                  101  110 01037 011 111 <B 100
  257                 4276                   98  110 01037 011 <B 111 100
  258                 4279                   95  110 01037 <C 1112 100
  259                 4282                   96  110 01036 011 D> 1112 100
  260                 4288                  102  110 01036 011 1112 D> 100
  261                 4293                  101  110 01036 011 1112 <B 111
  262                 4299                   95  110 01036 011 <B 1113
  263                 4302                   92  110 01036 <C 1114
  264                 4305                   93  110 01035 011 D> 1114
  265                 4317                  105  110 01035 011 1114 D>
  266                 4320                  104  110 01035 011 1114 <B 110
  267                 4332                   92  110 01035 011 <B 1114 110
  268                 4335                   89  110 01035 <C 1115 110
>> Try to prove a PPA-CTR with 1 Vars...
    0                    0                    0  110 0103 <C 1111+V(1) 110
    1                    3                    1  110 0102 011 D> 1111+V(1) 110
    2             6+3*V(1)             4+3*V(1)  110 0102 011 1111+V(1) D> 110
    3             9+3*V(1)             7+3*V(1)  110 0102 011 1112+V(1) A>
    4            10+3*V(1)             6+3*V(1)  110 0102 011 1112+V(1) <B 100
    5            16+6*V(1)                    0  110 0102 011 <B 1112+V(1) 100
    6            19+6*V(1)                   -3  110 0102 <C 1113+V(1) 100
    7            22+6*V(1)                   -2  110 010 011 D> 1113+V(1) 100
    8            31+9*V(1)             7+3*V(1)  110 010 011 1113+V(1) D> 100
    9            36+9*V(1)             6+3*V(1)  110 010 011 1113+V(1) <B 111
   10           45+12*V(1)                   -3  110 010 011 <B 1114+V(1)
   11           48+12*V(1)                   -6  110 010 <C 1115+V(1)
   12           51+12*V(1)                   -5  110 011 D> 1115+V(1)
   13           66+15*V(1)            10+3*V(1)  110 011 1115+V(1) D>
   14           69+15*V(1)             9+3*V(1)  110 011 1115+V(1) <B 110
   15           84+18*V(1)                   -6  110 011 <B 1115+V(1) 110
   16           87+18*V(1)                   -9  110 <C 1116+V(1) 110
   17           90+18*V(1)                   -8  111 D> 1116+V(1) 110
   18          108+21*V(1)            10+3*V(1)  1117+V(1) D> 110
   19          111+21*V(1)            13+3*V(1)  1118+V(1) A>
   20          112+21*V(1)            12+3*V(1)  1118+V(1) <B 100
   21          136+24*V(1)                  -12  <B 1118+V(1) 100
   22          141+24*V(1)                  -11  110 E> 1118+V(1) 100
   23          165+27*V(1)            13+3*V(1)  110 0108+V(1) E> 100
   24          168+27*V(1)            12+3*V(1)  110 0108+V(1) <C 110
   25          171+27*V(1)            13+3*V(1)  110 0107+V(1) 011 D> 110
   26          174+27*V(1)            16+3*V(1)  110 0107+V(1) 011 111 A>
   27          175+27*V(1)            15+3*V(1)  110 0107+V(1) 011 111 <B 100
   28          178+27*V(1)            12+3*V(1)  110 0107+V(1) 011 <B 111 100
   29          181+27*V(1)             9+3*V(1)  110 0107+V(1) <C 1112 100
   30          184+27*V(1)            10+3*V(1)  110 0106+V(1) 011 D> 1112 100
   31          190+27*V(1)            16+3*V(1)  110 0106+V(1) 011 1112 D> 100
   32          195+27*V(1)            15+3*V(1)  110 0106+V(1) 011 1112 <B 111
   33          201+27*V(1)             9+3*V(1)  110 0106+V(1) 011 <B 1113
   34          204+27*V(1)             6+3*V(1)  110 0106+V(1) <C 1114
   35          207+27*V(1)             7+3*V(1)  110 0105+V(1) 011 D> 1114
   36          219+27*V(1)            19+3*V(1)  110 0105+V(1) 011 1114 D>
   37          222+27*V(1)            18+3*V(1)  110 0105+V(1) 011 1114 <B 110
   38          234+27*V(1)             6+3*V(1)  110 0105+V(1) 011 <B 1114 110
   39          237+27*V(1)             3+3*V(1)  110 0105+V(1) <C 1115 110
<< Success! ==> defined new CTR 3 (PPA)
  268                 4335                   89  110 01035 <C 1115 110
== Executing  PA-CTR  1, V(1)=31, V(2)=4, repcount=11, factor=5/3
  444                11034                  -10  110 0102 <C 11160 110
== Executing PPA-CTR  2 (once), V(1)=59
  464                12394                  176  110 01065 <C 111 110
== Executing  PA-CTR  1, V(1)=61, V(2)=0, repcount=21, factor=5/3
  800                33121                  -13  110 0102 <C 111106 110
== Executing PPA-CTR  2 (once), V(1)=105
  820                35447                  311  110 010111 <C 111 110
== Executing  PA-CTR  1, V(1)=107, V(2)=0, repcount=36, factor=5/3
 1396                95279                  -13  110 0103 <C 111181 110
== Executing PPA-CTR  3 (once), V(1)=180
 1435               100376                  530  110 010185 <C 1115 110
== Executing  PA-CTR  1, V(1)=181, V(2)=4, repcount=61, factor=5/3
 2411               274775                  -19  110 0102 <C 111310 110
== Executing PPA-CTR  2 (once), V(1)=309
 2431               281385                  917  110 010315 <C 111 110
== Executing  PA-CTR  1, V(1)=311, V(2)=0, repcount=104, factor=5/3
 4095               772473                  -19  110 0103 <C 111521 110
== Executing PPA-CTR  3 (once), V(1)=520
 4134               786750                 1544  110 010525 <C 1115 110
== Executing  PA-CTR  1, V(1)=521, V(2)=4, repcount=174, factor=5/3
 6918              2169006                  -22  110 0103 <C 111875 110
== Executing PPA-CTR  3 (once), V(1)=874
 6957              2192841                 2603  110 010879 <C 1115 110
== Executing  PA-CTR  1, V(1)=875, V(2)=4, repcount=292, factor=5/3
11629              6063009                  -25  110 0103 <C 1111465 110
== Executing PPA-CTR  3 (once), V(1)=1464
11668              6102774                 4370  110 0101469 <C 1115 110
== Executing  PA-CTR  1, V(1)=1465, V(2)=4, repcount=489, factor=5/3
19492             16918965                  -31  110 0102 <C 1112450 110
== Executing PPA-CTR  2 (once), V(1)=2449
19512             16970515                 7325  110 0102455 <C 111 110
== Executing  PA-CTR  1, V(1)=2451, V(2)=0, repcount=818, factor=5/3
32600             47115451                  -37  110 010 <C 1114091 110
32601             47115454                  -36  110 011 D> 1114091 110
32602             47127727                12237  110 011 1114091 D> 110
32603             47127730                12240  110 011 1114092 A>
32604             47127731                12239  110 011 1114092 <B 100
32605             47140007                  -37  110 011 <B 1114092 100
32606             47140010                  -40  110 <C 1114093 100
32607             47140013                  -39  111 D> 1114093 100
32608             47152292                12240  1114094 D> 100
32609             47152297                12239  1114094 <B 111
32610             47164579                  -43  <B 1114095
32611             47164584                  -42  110 E> 1114095
32612             47176869                12243  110 0104095 E>
32613             47176870                12242  110 0104095 <H 100
32613             47176870                12242  110 0104095 <H 100   [stop]

Lines:       139
Top steps:   137
Macro steps: 32613
Basic steps: 47176870
Tape index:  12242
ones:        4098
log10(ones    ):    3.613
log10(steps   ):    7.674
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 C1R C1L B1L D1L E0R A1R D1R H1L A0R : 4098 47176870
    T 5-state TM #1 from MaBu-List
    M	400
    pref	sim
    machv mbL5_1  	just simple
    machv mbL5_1-r	with repetitions reduced
    machv mbL5_1-1	with tape symbol exponents
    machv mbL5_1-m	as 3-macro machine
    machv mbL5_1-a	as 3-macro machine with pure additive config-TRs
    iam	mbL5_1-a
    mtype	3
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:10:15 CEST 2010
    edate	Tue Jul  6 22:10:16 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:15 CEST 2010
Ready: Tue Jul 6 22:10:16 CEST 2010