項こう書かき換かえ

noun

term rewriting

Technical term in computer science and logic, referring to the process of replacing a subterm of a formula with another term according to certain rules.

• 項こう書かき換かえシステムは、等とう式しき論ろん理りに基もとづく計けい算さんモデルである。

  A term rewriting system is a computational model based on equational logic.