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)
“The greatest blunders, like the thickest ropes, are often compounded of a multitude of strands. Take the rope apart, separate it into the small threads that compose it, and you can break them one by one. You think, “That is all there was!” But twist them all together and you have something tremendous.”
—Victor Hugo (1802–1885)
“A transition from an author’s books to his conversation, is too often like an entrance into a large city, after a distant prospect. Remotely, we see nothing but spires of temples, and turrets of palaces, and imagine it the residence of splendor, grandeur, and magnificence; but, when we have passed the gates, we find it perplexed with narrow passages, disgraced with despicable cottages, embarrassed with obstructions, and clouded with smoke.”
—Samuel Johnson (1709–1784)
“What is most original in a man’s nature is often that which is most desperate. Thus new systems are forced on the world by men who simply cannot bear the pain of living with what is. Creators care nothing for their systems except that they be unique. If Hitler had been born in Nazi Germany he wouldn’t have been content to enjoy the atmosphere.”
—Leonard Cohen (b. 1934)