等式を規則化する変換の停止条件

• 水野, 清貴

• 西田, 直樹

• 坂部, 俊樹

• 酒井, 正彦

• 草刈, 圭一朗

• MIZUNO, Kiyotaka

• NISHIDA, Naoki

• SAKABE, Toshiki

• SAKAI, Masahiko

• KUSAKARI, Keiichirou

書誌事項

タイトル別名

• トウシキ オ キソクカスル ヘンカン ノ テイシ ジョウケン
• A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules

抄録

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

収録刊行物

• 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス

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

  一般社団法人電子情報通信学会

キーワード

• 項書換え系
• 等式付き書換え
• 等価変換
• ナローイング

詳細情報

• CRID: 1050845763733623808
• NII論文ID: 110006782683
• NII論文ID: 120005527805
• NII書誌ID: AA1123312X
• HANDLE: 2237/21103
• NDL書誌ID: 9458749
• ISSN: 09135685
• Web Site: https://nagoya.repo.nii.ac.jp/records/18999
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I9458749
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles
  • KAKEN