コンピュータ ソフトウェア
Print ISSN : 0289-6540
永続性に基づく項書き換えシステムの合流性証明
鈴木 翼青戸 等人外山 芳人
著者情報
ジャーナル オープンアクセス

2013 年 30 巻 3 号 p. 3_148-3_162

詳細
抄録

項書き換えシステムの合流性は永続性をもつので,適当な多ソート型付けにもとづいて項書き換えシステムRを部分システムに分解し,それぞれの部分システムが合流性をもつなら,Rも合流性をもつ.しかし,型付けによって部分システムへ分解できない場合には,このような判定方法は使えない.本論文では,部分システムに分解できない非左線形項書き換えシステムに対して適用可能となる,永続性に基づく新しい合流性証明法を提案する.

著者関連情報
© 2013 日本ソフトウェア科学会
前の記事 次の記事
feedback
Top