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:

    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)

    Our little systems have their day;
    They have their day and cease to be:
    They are but broken lights of thee,
    And thou, O Lord, art more than they.
    Alfred Tennyson (1809–1892)