TM #8 from MaBu90-Paper

Comment: Example for "greater config"

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  <B 1
    2                    2                    0  C> 1
    3                    3                    1  1 A>
    4                    4                    0  1 <B 1
    5                    5                   -1  <B 12
    6                    6                    0  C> 12
    7                    7                    1  1 A> 1
    8                    8                    2  12 A>
>> Try to prove a PA-CTR with 1 Vars...
    0                    0                    0  11+V(1) A>
    1                    1                   -1  11+V(1) <B 1
    2               2+V(1)           -2+-1*V(1)  <B 12+V(1)
    3               3+V(1)           -1+-1*V(1)  C> 12+V(1)
    4               4+V(1)            0+-1*V(1)  1 A> 11+V(1)
    5             5+2*V(1)                    1  12+V(1) A>
<< Success! ==> defined new CTR 1 (PA)
    8                    8                    2  12 A>
== Executing  PA-CTR  1, V(1)=1, repcount=Inf (doing just 1)
   13                   15                    3  13 A>   [loop/gtConfig]

Lines:       10
Top steps:   9
Macro steps: 13
Basic steps: 15
Tape index:  3
ones:        3
log10(ones    ):    0.477
log10(steps   ):    1.176
Run state:   loop/gtConfig

Input to awk program:
    gohalt 1
    C	Example for "greater config"
    5T B1L A1R C0R B1L H1L A1R
    T TM #8 from MaBu90-Paper
    M	201
    pref	sim
    machv mbP_8  	just simple
    machv mbP_8-r	with repetitions reduced
    machv mbP_8-1	with tape symbol exponents
    machv mbP_8-m	as 1-macro machine
    machv mbP_8-a	as 1-macro machine with pure additive config-TRs
    iam	mbP_8-a
    mtype 1
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jan  8 19:51:36 CET 2008
    edate Tue Jan  8 19:51:37 CET 2008
    bnspeed	1
Constructed by: $Id: tmJob.awk,v 1.32 2005/11/12 16:29:03 heiner Exp $
                $Id: htSupp.awk,v 1.12 2004/12/23 19:52:41 heiner Exp $
                $Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
                $Id: bignum.awk,v 1.31 2007/10/26 18:45:16 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;