Word problem
記号 0, x, y, z, ... から次のように作られたものを項とします。
(1) 項 X から ( - X ) を作る。
(2) 項 X, Y から ( X + Y ) を作る。
(かっこは省略することもあります。)
こうしてできた項の集合を T とします。
T の元に対して、次の関係をみたす同値関係 = が成り立っているとします。
0 + x = x
- x + x = 0
( x + y ) + z = x + ( y + z )
ここで、上の x, y, z に T のどんな元で置き換えても成り立っている
とします。
このとき、T の元 X, Y に対して X = Y が成り立っているかどうかを
判定する方法を考えます。
ある変形規則の集合によって X, Y を標準形 X', Y'
に変形したとき、X' と Y' が項として一致しているかどうかで
判定することができます。
以下の [>] ボタンを押すと、この変形規則の集合を求めることができます。
(説明)
(参考文献)