ここでは等式の集合から書き換え規則の集合に変換することができます。
(1)のリストには等式の集合が表示されています。(2)のリストには(1)のリストから得られる書き換え規則の集合が表示されています。(2)のリストは最初は空です。
(1)のリストから選択するか、(2)のボタンを押すと、選択された等式が書き換え規則になり(2)のリストに追加されます。このとき(2)のリストは正規化されます。
(2)のリストによって任意の式が正規化できるようになっていないときは、新しく付け加えられた書き換え規則が付け加えられたとき正規化されるべき等式が(1)のリストに追加されます。
(5)の領域に等式を入力して(6)のボタンを押すと、(7)の領域に等式の両辺が(2)の書き換え規則の集合で正規化された等式が表示されます。(4)のリストを選択すると(5)の領域に等式を入力することができます。