合流性
confluence
項書き換え
ラムダ計算
グレブナー基底
クヌース・ベンディックス完備化アルゴリズム
合流性 - Wikipedia