Figure 1From: Algebraic Dynamic Programming over general data structuresConversion of Inside productions into decompositions of the corresponding Outside objects. A production rule A → ... describes in which ways A can be partitioned, here into 5 parts B, C, D, E, and t. The corresponding outside objects A∗ and B∗ are the complements of A and B w.r.t. to input, represented by the box S. A rule B∗ → ... describes the decomposition of B∗, i.e., S \ B. Borrowing from A → BCDEt we see that B∗ consists of complement A∗ of A as well as the pars of A with the exception of B itself.Back to article page