西田 直樹

Articles:  1-1 of 1

  • 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と等式集合の変換手続きに共通する特徴を捉えて,共通して適用できる停止性の十分条件を与える.具体的には,手続きの停止性をナローイング到達可能集合の有限性に帰着さ …

    電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 107(505), 25-30, 2008-02

    IR 

Page Top