ZMWSLI0-SL2021-GR11/cw5/zadanie5b.txt

6 lines
125 B
Plaintext
Raw Normal View History

2021-05-20 21:16:43 +02:00
#ignore + - \ / ^ &
#axiom
S(0,0)
#rules
S(a,c)->F(0)-[[S(a+1,0)]+S(a+1,0)]+F(0)[+F(0)S(a+1,0)]-S(a+1,0)
F(x) -> F(x+1)F(x+1)