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 chief assertion of religious morality is that white is a colour. Virtue is not the absence of vices or the avoidance of moral dangers; virtue is a vivid and separate thing, like pain or a particular smell.”
—Gilbert Keith Chesterton (1874–1936)
“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)
“Our little systems have their day;
They have their day and cease to be:
They are but broken lights of thee,
And thou, O Lord, art more than they.”
—Alfred Tennyson (1809–1892)