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)
“Power ceases in the instant of repose; it resides in the moment of transition from a past to a new state, in the shooting of the gulf, in the darting to an aim.”
—Ralph Waldo Emerson (1803–1882)
“In all systems of theology the devil figures as a male person.... Yes, it is women who keep the church going.”
—Don Marquis (1878–1937)