Flower: Double Thyrsus



Axiom a Use
Rule 1 a => I[L ]a 1
Rule 2 a => I[L ]A 1
Rule 3 A => I[B ]A 4
Rule 4 A => K 1
Rule 5 B => I[B ][B ]K 3
Rule 6 B => K 1


see Figure 3.15c from page 86


Reload to repeat animation


©2004 Department of Redundancy Department