Simulation Preorder - Similarity of Separate Transition Systems

Similarity of Separate Transition Systems

When comparing two different transition systems (S', Λ', →') and (S' ', Λ' ', →' '), the basic notions of simulation and similarity can be used by forming the disjoint composition of the two machines, (S, Λ, →) with S = S' ∐ S' ', Λ = Λ' ∪ Λ' ' and → = →' ∪ →' ', where ∐ is the disjoint union operator between sets.

Read more about this topic:  Simulation Preorder

Famous quotes containing the words similarity of, similarity, separate, transition and/or systems:

    Incompatibility. In matrimony a similarity of tastes, particularly the taste for domination.
    Ambrose Bierce (1842–1914)

    Incompatibility. In matrimony a similarity of tastes, particularly the taste for domination.
    Ambrose Bierce (1842–1914)

    Being in a family is like being in a play. Each birth order position is like a different part in a play, with distinct and separate characteristics for each part. Therefore, if one sibling has already filled a part, such as the good child, other siblings may feel they have to find other parts to play, such as rebellious child, academic child, athletic child, social child, and so on.
    Jane Nelson (20th century)

    The most remarkable aspect of the transition we are living through is not so much the passage from want to affluence as the passage from labor to leisure.... Leisure contains the future, it is the new horizon.... The prospect then is one of unremitting labor to bequeath to future generations a chance of founding a society of leisure that will overcome the demands and compulsions of productive labor so that time may be devoted to creative activities or simply to pleasure and happiness.
    Henri Lefebvre (b. 1901)

    People stress the violence. That’s the smallest part of it. Football is brutal only from a distance. In the middle of it there’s a calm, a tranquility. The players accept pain. There’s a sense of order even at the end of a running play with bodies stewn everywhere. When the systems interlock, there’s a satisfaction to the game that can’t be duplicated. There’s a harmony.
    Don Delillo (b. 1926)