項重寫系統是歸約系統，其中重寫規則應用於項。 項由變數和常數使用函式符號（或運算）構建。 項重寫系統的規則形式為 
，其中 
和 
都是項，
不是變數，並且來自 
的每個變數也出現在 
中。
項 
的歸約步驟定義如下。 如果 
是 
和 
的合一器，則 
歸約到 
。 如果 
是 
和 
的合一器，其中 
是 
的子項，則 
歸約到透過將 
替換為 
從 
獲得的項。
項重寫系統
另請參閱
Church-Rosser 屬性, 合流, 臨界對, 有限終止, 形式語言, Knuth-Bendix 完成演算法, Lambda 演算, 多向系統, 歸約順序, 歸約系統, 字串重寫系統此條目由 Alex Sakharov 貢獻 (作者連結)
使用 探索
參考文獻
Baader, F. 和 Nipkow, T. Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.在 上引用
項重寫系統請按如下方式引用
Sakharov, Alex. "項重寫系統。" 來自 Web 資源，由 Eric W. Weisstein 建立。 https://mathworld.tw/TermRewritingSystem.html