| 演題番号 | 2I1-4 |
|---|---|
| 題目 | 階層グラフ書換えモデルを拡張したHyperLMNtalの実現 |
| 著者 | 小川 誠司(早稲田大学大学院基幹理工学研究科情報理工学専攻) 目黒 学(早稲田大学大学院基幹理工学研究科情報理工学専攻) 上田 和紀(早稲田大学理工学術院情報理工学科) |
| 時間 | 06月02日(Thu) 11:15〜11:35 |
| 概要 | 階層グラフ書換え言語モデルLMNtalは高い表現力で様々な計算モデルを統合しているが,データ間に複雑な参照構造を持つ計算モデルは実現困難であった.今回我々はLMNtalを階層ハイパーグラフ書換えモデルへ拡張することで,制約記述言語CHRなどの計算モデルをより自然に記述可能とし,かつ理想的な計算量での実行を実現した.本論文ではHyperLMNtalとそれを用いたモデルの記述例,動作例などを紹介する. |
| 論文 | PDFファイル |