書誌事項
- タイトル別名
-
- サセンケイナ テイコウ ジョウケンツキ コウ カキカエケイ ニ オケル トウタツ カノウナ コウ シュウゴウ ノ キンジ シュウゴウ オ ニンシキスル キ オートマトン
- Recognizable Approximation of Descendant Sets for Left-Linear Oriented Conditional Term Rewriting Systems
この論文をさがす
抄録
項書換え系(TRS)の到達可能性問題とは,与えられた2つの項の一方からもう一方にTRSでの書換えにより到達できるか否かという問題であり,一般には決定不能である.そこで,到達可能な項集合(の近似集合)を認識する木オートマトンの生成法が広く研究されている.条件付きTRS(CTRS)に関しては,左線形な結合CTRSについて生成手続きが提案されているが,木オートマトンの自動生成の基準となる近似関数はCTRSについて提案されていない.本稿では,結合CTRSを含むクラスである定向CTRSに着目し,左線形な定向CTRSで到達可能な項集合の近似集合を認識する木オートマトンの生成手続きを提案する.さらに,結合CTRSと定向CTRSのための近似関数,結合CTRSを定向CTRSで表現する方法を提案し,結合CTRSについての生成手続きと比較する.
収録刊行物
-
- 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 107 (176), 1-6, 2007-07
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050564288756911232
-
- NII論文ID
- 120005526506
- 110006388627
-
- NII書誌ID
- AA1123312X
-
- HANDLE
- 2237/21099
-
- NDL書誌ID
- 8895914
-
- ISSN
- 09135685
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles