項書き換え
項書き換え（こうかきかえ、英: term rewriting）とは、数学・計算機科学・論理学において、式（数式、論理式）の項を別の項に置換する手法を総称する用語である。 項書き換え系（英: term rewriting system、TRS）とは、項の集合とその置換規則から構成される。
項書き換え（こうかきかえ、英: term rewriting）とは、数学・計算機科学・論理学において、式（数式、論理式）の項を別の項に置換する手法を総称する用語である。 項書き換え系（英: term rewriting system、TRS）とは、項の集合とその置換規則から構成される。
項書き換え（こうかきかえ、英: term rewriting）とは、数学・計算機科学・論理学において、式（数式、論理式）の項を別の項に置換する手法を総称する用語である。 項書き換え系（英: term rewriting system、TRS）とは、項の集合とその置換規則から構成される。
出典: Wikipedia「項書き換え」 · CC BY-SA 4.0
この記事を共有: X · Bluesky