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 mens minds all vestige of theism and beliefs which they and their fathers held and were framed upon.”
—Ralph Waldo Emerson (18031882)
“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 truths 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 (18181883)