rewriting

(redirected from Term rewriting system)
Also found in: Thesaurus, Legal, Acronyms, Encyclopedia.

re·write

 (rē-rīt′)
v. re·wrote (-rōt′), re·writ·ten (-rĭt′n), re·writ·ing, re·writes
v.tr.
1. To write again, especially in a different or improved form; revise.
2. To put (material submitted to a newspaper or magazine) in a form suitable for publishing.
3. Computers To save (a usually altered file) over its most recent version in the same storage location.
v.intr.
To make revisions in written material.
n. (rē′rīt′)
1. The act or an instance of rewriting.
2. Something rewritten.

re·writ′a·ble, re·write′a·ble adj.
re·writ′er n.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.rewriting - editing that involves writing something again
editing, redaction - putting something (as a literary work or a legislative bill) into acceptable form
revisal, revise, revision, rescript - the act of rewriting something
recasting, rephrasing, rewording - changing a particular word or phrase
Translations
References in periodicals archive ?
A constructor-based term rewriting system R is a set of rewrite rules, l [right arrow] r, such that l and r have the same sort, l is a pattern, and Var(r) [subset or equal to] Var(l).