階層グラフ書換えモデルを拡張したHyperLMNtalの実現

  • 小川 誠司
    早稲田大学大学院基幹理工学研究科情報理工学専攻
  • 目黒 学
    早稲田大学大学院基幹理工学研究科情報理工学専攻
  • 上田 和紀
    早稲田大学理工学術院情報理工学科

書誌事項

タイトル別名
  • カイソウ グラフ カキカエ モデル オ カクチョウ シタ HyperLMNtal ノ ジツゲン

この論文をさがす

抄録

<p>階層グラフ書換え言語モデルLMNtalは高い表現力で様々な計算モデルを統合しているが,データ間に複雑な参照構造を持つ計算モデルは実現困難であった.今回我々はLMNtalを階層ハイパーグラフ書換えモデルへ拡張することで,制約記述言語CHRなどの計算モデルをより自然に記述可能とし,かつ理想的な計算量での実行を実現した.本論文ではHyperLMNtalとそれを用いたモデルの記述例,動作例などを紹介する.</p>

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ