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:
“And in these dark cells,
packed street after street,
souls live, hideous yet
O disfigured, defaced,
with no trace of the beauty
men once held so light.”
—Hilda Doolittle (1886–1961)
“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)