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)
“Heaven has its business and earth has its business: those are two separate things. Heaven, that’s the angels’ pasture; they are happy; they don’t have to fret about food and drink. And you can be sure that they have black angels to do the heavy work like laundering the clouds or sweeping the rain and cleaning the sun after a storm, while the white angels sing like nightingales all day long or blow in those little trumpets like they show in the pictures we see in church.”
—Jacques Roumain (1907–1945)
“When I was going through my transition of being famous, I tried to ask God why was I here? what was my purpose? Surely, it wasn’t just to win three gold medals. There has to be more to this life than that.”
—Wilma Rudolph (1940–1994)
“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)