J-STAGE トップ  >  資料トップ  > 書誌事項

コンピュータ ソフトウェア
Vol. 26 (2009) No. 2 P 2_76-2_92

記事言語:

http://doi.org/10.11309/jssst.26.2_76

  • 抄録

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

Copyright © 日本ソフトウェア科学会 2009

記事ツール

この記事を共有