ConfigFile ins_c_211110.cfg

Axioms



# [AAABB]
#[AAAXBB]
[aEAXBF]

#X->EZ
#Z->AY

Rules

1,X->pX,2
1,p->pEZ,2

1,Z->qZ,2
1,q->qAY,2

1,A->f1A,3
1,f1A->f1,2
1,f1f2->f1,3

1,E->e1E,3
1,e1E->e1,2
1,e1e2->e1,3


2,pX->p,1
2,p->,1

2,qZ->q,1
2,q->,1

2,f1B->f1,1

2,e1F->e1,1

3,B->Bf2,1
3,f1->,1

3,F->Fe2,1
3,e1->,1
