13. The non-transitory computer-readable medium of claim 11 , further comprising design-facilitating, by the processor, the minimal valid graph and the transformation rules.
13. The non-transitory computer-readable medium of claim 11 , further comprising design-facilitating, by the processor, the minimal valid graph and the transformation rules. 14. The non-transitory computer-readable medium of claim 13 , wherein the design-facilitating includes the use of non-terminal symbol design tools to generate intermediate transformation results.