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:
“Muhammad is the Messenger of God,
and those who are with him are hard
against the unbelievers, merciful
one to another. Thou seest them
bowing, prostrating, seeking bounty
from God and good pleasure. Their
mark is on their faces, the trace of
prostration....
God has promised
those of them who believe and do deeds
of righteousness forgiveness and
a mighty wage.”
—Qur’An. Victory 48:35, ed. Arthur J. Arberry (1955)
“People stress the violence. That’s the smallest part of it. Football is brutal only from a distance. In the middle of it there’s a calm, a tranquility. The players accept pain. There’s a sense of order even at the end of a running play with bodies stewn everywhere. When the systems interlock, there’s a satisfaction to the game that can’t be duplicated. There’s a harmony.”
—Don Delillo (b. 1926)