| 研究課題/領域番号 |
10139214
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
外山 芳人 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (00251968)
|
|---|
| 研究分担者 |
酒井 正彦 名古屋大学, 大学院・工学研究科, 助教授 (50215597)
鈴木 大郎 北陸先端科学技術大学院大学, 情報科学研究科, 助手 (90272179)
|
|---|
| キーワード | 項書き換えシステム / 停止性 / 決定可能性 / 高階システム |
|---|
| 研究概要 |
プログラムの漸増的な発展過程で保存される性質を明らかにするため、書き換えシステムの変形、高階化で保存される性質の理論的解析を中心に研究を進め、以下の成果を得た。
1. 木持ち上げ順序による停止性判定
従来提案されていた削除法による停止性判定手法を発展させ、新しく木持ち上げ順序による停止性の判定手法を提案した。さらに、この手法が複数の項書き換えシステムの組み合せの解析にも有効であることを示した。
2. 高階システムの停止条件
従来提案されていた再帰分解順序を拡張し、高階項書き換えシステムの停止性手法として適用可能であることを明らかにした。さらに、高階システムに対する単純化順序の定式化を行ない、高階システムの停止条件の統一的な枠組みを与えることに成功した。
3. グローイング項書き換えシステムの決定性
左線形なグローイング項書き換えシステムの決定性問題を解析し、到達可能性が決定可能となることを明らかにした。
|
