8.7. EITHER-related states

You are given a tree T, in which arcs leaving one node assigned states of the same array.

Then the set S, which is the union of those multiple of states that are conjugated to the arcs of one path from the root to each leaf, is called the set of EITHER-related states, built on the specified assembly tree (of course, provided that all (!) such a work.)

Prev Next