書き換えシステム

書き換え規則

左辺をl、右辺をrとする組(l, r)で、式内のパターンを別のパターンに置換する方法を指定する。変換対象の項内でパターンlが識別された場合に書き換えが適用される。

← 戻る