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)
“When, in the course of human events, it becomes necessary for one people to dissolve the political bands which have connected them with another, and to assume the powers of the earth, the separate and equal station to which the laws of nature and of nature’s God entitle them, a decent respect to the opinions of mankind requires that they should declare the causes which impel them to the separation.”
—Thomas Jefferson (1743–1826)
“The most remarkable aspect of the transition we are living through is not so much the passage from want to affluence as the passage from labor to leisure.... Leisure contains the future, it is the new horizon.... The prospect then is one of unremitting labor to bequeath to future generations a chance of founding a society of leisure that will overcome the demands and compulsions of productive labor so that time may be devoted to creative activities or simply to pleasure and happiness.”
—Henri Lefebvre (b. 1901)
“The geometry of landscape and situation seems to create its own systems of time, the sense of a dynamic element which is cinematising the events of the canvas, translating a posture or ceremony into dynamic terms. The greatest movie of the 20th century is the Mona Lisa, just as the greatest novel is Gray’s Anatomy.”
—J.G. (James Graham)