ウィキペディア

項書き換え

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2010/06/09 00:12 UTC 版)

項書き換え（こうかきかえ、Term Rewriting）とは、数学や計算機科学、論理学において、式（数式、論理式）の項を別の項に置換する手法を総称する用語である。項書き換え系は、項の集合とその置換規則から構成される。

項書き換えは非決定論的である。ある項書き換え規則を項に適用する手法は様々である。項書き換え系では、項書き換えのためのアルゴリズムは提供されず、様々な代替置換規則が適用できる。しかし、適当なアルゴリズムと組み合わせれば、項書き換え系はプログラムのような働きをし、実際いくつかの宣言型プログラミング言語は項書き換えに基づいている。