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)
“I am beginning to suspect all elaborate and special systems of education. They seem to me to be built up on the supposition that every child is a kind of idiot who must be taught to think.”
—Anne Sullivan (1866–1936)