氏名: 渡辺啓嗣 (l0461671)
論文題目: 項書換え系の経路順序に基づく停止性検証に関する研究
論文概要
項書換え系の停止性判定法の一つとして経路順序を用いる手法が挙げられる。
この順序は適用範囲が広いことが知られているが、関数記号上に先行順序と呼
ばれる半順序を必要とし、その決定手法は確立していない。本研究では、経路
ごとの比較を行なう経路順序の特徴を用いることにより、先行順序を効率的に
定める手法を提案する。また、ステータスという概念を導入することにより、
さらに適用範囲が広がることが知られている。そこで、実際にステータス付き
経路順序を用いた項書換え系の停止性自動判定システムを構築し、その有効性
を評価する。
目次に戻る