Search Results 1-2 of 2

  • A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules  [in Japanese]

    MIZUNO Kiyotaka , NISHIDA Naoki , SAKABE Toshiki , SAKAI Masahiko , KUSAKARI Keiichirou

    項書換え系(TRS)と等式集合から等価なTRSを得る変換手続きが様々な目的で提案されている.これらの手続きを活用するにはその停止性を明らかにすることが必要であるが,これまでに手続きの停止性に関する研究はほとんどなされていない.本稿では,TRSと等式集合の変換手続きに共通する特徴を捉えて,共通して適用できる停止性の十分条件を与える.具体的には,手続きの停止性をナローイング到達可能集合の有限性に帰着さ …

    IEICE technical report 107(505), 25-30, 2008-02-25

    References (10)

  • Transformation of Equational Rewriting Systems for Removing some Equations  [in Japanese]

    MIURA Koichi , NISHIDA Naoki , SAKAI Masahiko , SAKABE Toshiki , KUSAKARI Keiichiro

    与えられた等式集合を法として計算する等式付き書換え計質では,等式集合の語問題が決定不能であるため,一般には,与えられた項から1ステップで到達可能なすべての項を決定することができない.本稿では,与えられた等式付き書換え系を等価変換する手続きを与える.提案する手続きでは,等式の一部を規則化し,さらにそれらと重なる規則に対してそれらの等式を法として等価な左辺を持つ規則を追加する.元の等式集合から等式数を …

    IEICE technical report 106(120), 7-12, 2006-06-15

    References (4) Cited by (1)

Page Top