氏名: 西村徹 (l0461655)
論文題目: 動的項書換え計算の実装に関する研究
論文概要
動的項書換え計算(DTRC)は、Knuth-Bendixのアルゴリズムのような
項書換え系(TRS)を操作するアルゴリズムを形式的に記述し、また
そのような記述を検証することを目的とした書換え型計算モデルで
ある。TRS の処理系の実装において、最も計算時間に影響を与える
のは項のデータ構造とマッチングアルゴリズムであるが、本研究で
は項のデータ構造を Flattermとし、マッチングアルゴリズムにつ
いては Discrimination Net のアイデアを利用した。本論文では、
DTRC の計算機への実装について解説し、また Flatterm,Discrimination Net
の効果について考察する。
目次に戻る