Write something again to improve clarity, tone, or structure

• Revise or modify a text to produce a better version

为提高清晰度、语气或结构而再次写作

• 修订或修改文本以得到更好的版本

Write the same text again with little or no change

• Copy out by writing again

在几乎不改动的情况下再次写出相同文本

• 通过誊写再次完成

A new version of a text after revision

• The act or process of rewriting
• A revised draft

修订后的文本新版本

• 重写这一行为或过程
• 修订稿

Replace parts of an expression using formal rules of transformation

• Apply rewrite rules to convert a term into another form

按照形式化规则替换表达式的部分

• 应用重写规则将项转换为另一种形式

A transformation step produced by applying a rewrite rule

• A specific replacement of subterms within a formal system

通过应用重写规则产生的变换步骤

• 在形式化系统中对子项的特定替换