项重写系统是归约系统，其中重写规则应用于项。 项由变量和常数使用函数符号（或运算）构建。 项重写系统的规则形式为 
，其中 
和 
都是项，
不是变量，并且来自 
的每个变量也出现在 
中。
项 
的归约步骤定义如下。 如果 
是 
和 
的合一器，则 
归约到 
。 如果 
是 
和 
的合一器，其中 
是 
的子项，则 
归约到通过将 
替换为 
从 
获得的项。
项重写系统
另请参阅
Church-Rosser 属性, 合流, 临界对, 有限终止, 形式语言, Knuth-Bendix 完成算法, Lambda 演算, 多向系统, 归约顺序, 归约系统, 字符串重写系统此条目由 Alex Sakharov 贡献 (作者链接)
使用 Wolfram|Alpha 探索
参考文献
Baader, F. 和 Nipkow, T. Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.在 Wolfram|Alpha 上引用
项重写系统请按如下方式引用
Sakharov, Alex. "项重写系统。" 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/TermRewritingSystem.html