ConfigFile ins_a_110200.cfg

Axioms



# [AAABB]
[AAAXBB]

# X->AY


Rules

#C1

1, ZX -> Xp0, 2
1, p0 -> p0p1, 3
1, p1 -> p1A, 5
1, p0p1 -> , 4
1, p3 -> p3p4, 4
1, p3 -> p3Y, 2

1, X -> Xq0, 2
1, q0 -> q0q1, 3
1, q1 -> q1Y, 4

1, S' -> S'h, 2
1, AB->, 2
1, CD -> , 2

2, X -> , 1
2, p2p3 -> , 1

2, X -> , 1
2, EF -> , 1
2, S'h  -> , 1

3, p1 -> p1p5, 1
3, q1 -> q1B, 1

4, p2 -> p2p3, 1
4, p4p5 -> , 1
4, q0q1 -> , 1

5, A->Ap2, 1