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)
“Remember...that each child is a separate person, yours forever, but never fully yours. She can never be all you wished or wanted, or all you know she could be. But she will be a better human being if you can let her be herself.”
—Stella Chess (20th century)
“Some of the taverns on this road, which were particularly dirty, were plainly in a transition state from the camp to the house.”
—Henry David Thoreau (1817–1862)
“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)