等式付き書換え系の等式数を削減する変換

スポンサーリンク

概要

論文の詳細を見る
与えられた等式集合を法として計算する等式付き書換え計質では,等式集合の語問題が決定不能であるため,一般には,与えられた項から1ステップで到達可能なすべての項を決定することができない.本稿では,与えられた等式付き書換え系を等価変換する手続きを与える.提案する手続きでは,等式の一部を規則化し,さらにそれらと重なる規則に対してそれらの等式を法として等価な左辺を持つ規則を追加する.元の等式集合から等式数を削減し,語問題が決定可能となる等式を残すことができれば,等式付き書換え系における1ステップの計算で到達可能なすべての項が決定可能となる.本変換は,等式付き書換え系の計算系列において各等式の適用順序が可換であるシステムを対象とする.また,本手法をプロセス計算の一つであるアンビェント計算に適用し,2つの単純な構造等価関係を規則化に成功した例を示す.
社団法人電子情報通信学会の論文
2006-06-15

著者

関連論文

もっと見る

スポンサーリンク