氏名: 伊園基宏 (l0351605)
論文題目: 項書換え系の等価性判定に関する研究
論文概要
項書換え系とは関数記号と変数記号から構成された項を与えられた書き換え規
則に基づいて、書き換えることによって計算を行うための計算モデルである。
加算、乗算などいろいろな関数が定義できる。ある 2つの項書換え系に対して
互いに書き換え規則が違っているものでも、同じ項を書き換えていくと、最終
的に得られる項の形が両者で同じになることがある。このとき 2つの項書換え
系は等価であるという。等価であることを示すのに、動的項書換え計算という
項書換え系を拡張した計算モデルを用いる。動的項書換え計算は書き換えによっ
て証明ができる。そこで、その動的項書換え計算の項を記述して書き換えによっ
て 2つの項書換え系が等価であることを証明するのが本研究の趣旨である。
目次に戻る