4. The method of claim 3 , wherein the design-facilitating includes the use of non-terminal symbol design tools to generate intermediate transformation results.
3. The method of claim 1 , further comprising design-facilitating, by the processor, the minimal valid graph and the transformation rules.