Big Chemical Encyclopedia

Chemical substances, components, reactions, process design ...

Articles Figures Tables About

MSG Method ground case The first two steps

Finally, create a logic algorithm LA(r) from the msgs of the obtained compatible subsets (suppose there are c of them)  [Pg.137]

Note that this algorithm actually also works for atom sets, by virtue of Definition 10-5 and Definition 10-7. [Pg.137]

This algorithm is non-deterministic, finite, and never fails. Moreover, the synthesized logic algorithm is non-deterministic in general, and finite, but may fail. For instance, considering Example 10-2, the atom pcCompress eXe,2]X) is covered by both disjuncts of the synthesized logic algorithm, namely via the answer substitutions X/[e,3] and X/[c,l,, 2].  [Pg.137]

Proof 10-3 Trivial, from Theorem 10-2, Definition 10-9, and Algorithm 10-1. 10.3.4 Illustration [Pg.138]

Let s illustrate the described method on some sample problems. [Pg.138]


Figure 10-1 MSG Method (ground case) The first two steps... Figure 10-1 MSG Method (ground case) The first two steps...



SEARCH



First step

Grounding methods

MSG

Methods two-step

Step methods

The 2- case

Two steps

© 2024 chempedia.info