項書き換え
term rewriting
危険対
合流性
グラフ書き換え
クヌース・ベンディックス完備化アルゴリズム
ラムダ計算
リンデンマイヤーシステム
Mathematica
Q言語
文字列書き換え系
項書き換え - Wikipedia