ZMWSLI0-SL2021-GR11/cw5/zadanie5a.txt
2021-05-20 21:16:43 +02:00

20 lines
404 B
Plaintext

#ignore + - \ / ^ &
#axiom
C(1,3)F(0,0)G
#rules
C(a,b) > F(x,c) : b<3 -> C(a,b+1)
C(a,b) > F(x,c) : b>=3 -> #stochastic
p=2 C(1,0,0)
p=1 C(2,0,0)
p=0.5 C(3,0,0)
#stochastic end
C(a,b) < F(x,0) : b>=3 -> F(a,0)
F(x,0) < F(y,0) : x>0 -> F(x,0)
F(x,0) : x>0 -> F(0)
F(x,0) < G : x==1 -> F(0,0)[+B]\(137.5)G
F(x,0) < B : x==2 -> #stochastic
p=3 B
p=1 G
#stochastic end
F(x,0) < G : x==3 -> F(x,0)W
#end rules