書誌事項
- タイトル別名
-
- セイヤク ツキ キオートマトン ト ソノ ヘイホウセイ
- Tree Automata with Constraints and their Closure-Properties
この論文をさがす
抄録
木オートマトンは項を入力としたオートマトンであり,和集合・補集合・積集合演算に閉じていることや空判定問題が決定可能であることから,項書換え系の性質を調べることに有効である.また,近年,制約付き項書換え系に関する研究が行われており,特に定理自動証明の研究が注目されている.本稿では,等号不等号制約付き木オートマトンの制約を任意の制約系を指定できるように一般化した制約付き木オートマトンを提案し,任意の制約付き木オートマトンに対して決定性と完全性を持ち受理集合が等価である制約付き木オートマトンが存在することを示す.さらに,制約付き木オートマトンのクラスが和・積・補集合演算に閉じていることを示す.
収録刊行物
-
- 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 110 (458), 61-66, 2011-02
一般社団法人電子情報通信学会
- Tweet
詳細情報
-
- CRID
- 1050564288758094080
-
- NII論文ID
- 110008689415
-
- NII書誌ID
- AA1123312X
-
- HANDLE
- 2237/23544
-
- NDL書誌ID
- 11046749
-
- ISSN
- 09135685
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles
- KAKEN