3. The method of claim 2 , wherein partitioning of the plurality of linear rules further comprises partitioning each of the plurality of the linear rules into a respective one of the plurality of types of rules.
5. The method of claim 3 , wherein the partitioned plurality of linear rules comprises weighted rewrite rules.