コンピュータ ソフトウェア
Print ISSN : 0289-6540
項書き換えシステムの合流性自動判定
吉田 順一青戸 等人外山 芳人
著者情報
ジャーナル フリー

2009 年 26 巻 2 号 p. 2_76-2_92

詳細
抄録

本論文では,複数の判定方法を組み合わせた項書き換えシステムの合流性自動判定システムを提案する.我々の提案するシステムでは,判定条件が直接適用できない複雑な項書き換えシステムに対して,直和分解や可換分解といった分解法を適用し,分解により得られた部分システムに対して合流性判定法を適用することによって,全体の合流性を自動判定する.このような合流性自動判定システムは,従来ほとんど知られていない.合流性自動判定システムを実装し,実験を行なった結果,従来の合流性判定条件が直接適用出来ない項書き換えシステムに対しても,合流性の自動判定に成功した.また,項書き換えシステムの合流性を扱った論文等から抜粋した例題集を構成し,合流性判定実験を試みる.

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