Reduction Systems - Trace Rewriting Systems

Trace Rewriting Systems

Trace theory provides a means for discussing multiprocessing in more formal terms, such as via the trace monoid and the history monoid. Rewriting can be performed in trace systems as well.

This section requires expansion.

Read more about this topic:  Reduction Systems

Famous quotes containing the words trace and/or systems:

    What terrible questions we are learning to ask! The former men believed in magic, by which temples, cities, and men were swallowed up, and all trace of them gone. We are coming on the secret of a magic which sweeps out of men’s minds all vestige of theism and beliefs which they and their fathers held and were framed upon.
    Ralph Waldo Emerson (1803–1882)

    The only people who treasure systems are those whom the whole truth evades, who want to catch it by the tail. A system is just like truth’s tail, but the truth is like a lizard. It will leave the tail in your hand and escape; it knows that it will soon grow another tail.
    Ivan Sergeevich Turgenev (1818–1883)