重写

在数学、计算机科学和逻辑学中，重写涵盖了用其他术语替换公式中的子项的广泛方法。这些方法可以通过重写系统（也被称为重写系统、重写引擎或还原系统）来实现。在其最基本的形式中，它们由一组对象，加上关于如何转换这些对象的关系组成。重写可以是非确定性的。一个重写术语的规则可以以许多不同的方式应用于该术语，或者有多个规则可以适用。因此，重写系统并不提供将一个术语改为另一个术语的算法，而是提供一组可能的规则应用。然而，当与适当的算法相结合时，重写系统可以被看作是计算机程序，一些定理证明程序和声明性编程语言是基于术语重写的。

在语言学中，短语结构规则，也称为重写规则，在一些生成语法系统中使用，作为生成语言的语法正确句子的手段。这种规则通常采用以下形式A→X{displaystyle{rm{ArightarrowX}}，其中A是一个句法的例子。｝其中，A是一个句法类别标签，如名词短语或句子，X是这种标签或语素的序列，表示在生成句子的成分结构时，A可以被X所取代。