Comparison With Abstract Rewriting Systems
As a mathematical object, an unlabeled state transition system is identical with an (unindexed) abstract rewriting system. If we consider the rewriting relation as an indexed set of relations, as some authors do, then a labeled state transition system is equivalent with an abstract rewriting system with the indices being the labels. The focus of the study and the terminology are different however. In a state transition system one is interested in interpreting the labels as actions, whereas in an abstract rewriting system the focus is on how objects may be transformed (rewritten) into others.
Read more about this topic: State Transition System
Famous quotes containing the words comparison with, comparison, abstract and/or systems:
“Intolerance respecting other peoples religion is toleration itself in comparison with intolerance respecting other peoples art.”
—Wallace Stevens (18791955)
“The comparison between Coleridge and Johnson is obvious in so far as each held sway chiefly by the power of his tongue. The difference between their methods is so marked that it is tempting, but also unnecessary, to judge one to be inferior to the other. Johnson was robust, combative, and concrete; Coleridge was the opposite. The contrast was perhaps in his mind when he said of Johnson: his bow-wow manner must have had a good deal to do with the effect produced.”
—Virginia Woolf (18821941)
“But the abstract conception
Of private experience at its greatest intensity
Becoming universal, which we call poetry,
May be affirmed in verse.”
—T.S. (Thomas Stearns)
“Not out of those, on whom systems of education have exhausted their culture, comes the helpful giant to destroy the old or to build the new, but out of unhandselled savage nature, out of terrible Druids and Berserkirs, come at last Alfred and Shakespeare.”
—Ralph Waldo Emerson (18031882)