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)
“We do not prove the existence of the poem.
It is something seen and known in lesser poems.
It is the huge, high harmony that sounds
A little and a little, suddenly,
By means of a separate sense. It is and it
Is not and, therefore, is.”
—Wallace Stevens (1879–1955)
“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)