Simulation Preorder - Similarity of Separate Transition Systems

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)

    In order to become spoiled ... a child has to be able to want things as well as need them. He has to be able to see himself as a being who is separate from everyone else.... A baby is none of these things. He feels a need and he expresses it. He is not intellectually capable of working out involved plans and ideas like “Can I make her give me...?” “If I make enough fuss he will...?” “They let me do ... yesterday and I want to do it again today so I’ll....”
    Penelope Leach (20th century)

    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)

    The skylines lit up at dead of night, the air- conditioning systems cooling empty hotels in the desert and artificial light in the middle of the day all have something both demented and admirable about them. The mindless luxury of a rich civilization, and yet of a civilization perhaps as scared to see the lights go out as was the hunter in his primitive night.
    Jean Baudrillard (b. 1929)