項書き換え

ウィキペディア

項書き換え

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/07 06:34 UTC 版)

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