10 lines
164 B
Plaintext
10 lines
164 B
Plaintext
#ignore + -
|
|
#axiom
|
|
C(5,5)A+A+AA-A-AA-AD(0)
|
|
#rules
|
|
C(a,b) > A : b<5 -> C(a,b+1)
|
|
C(a,b) > A : b>=5 -> C(a-1,0)
|
|
B(1)<D(a) -> D(a+1)
|
|
B(a)<A -> B(a)
|
|
B(a) -> A
|
|
#end rules |