4 lines
59 B
Plaintext
4 lines
59 B
Plaintext
#axiom
|
|
S(0,0)
|
|
#rules
|
|
S(a,c) : c<15 -> X\(60)[-S(0,0)]S(0,0) |
#axiom
|
|
S(0,0)
|
|
#rules
|
|
S(a,c) : c<15 -> X\(60)[-S(0,0)]S(0,0) |