制約付き木オートマトンとその閉包性
Bibliographic Information
- Other Title
-
- セイヤク ツキ キオートマトン ト ソノ ヘイホウセイ
- Tree Automata with Constraints and their Closure-Properties
Search this article
Abstract
Tree automata are useful in analyzing properties of term rewriting systems since the class of recognizable tree languages is closed under union, intersection and complement and since the emptiness problem is decidable. Recently, constrained term rewriting systems are investigated and theorem proving methods of contrained systems attract attention. In this paper, by generalizing tree automata with equality and disequality constraints, we propose tree automata with constraints, for which one can specify structures that give an interpretation of predicate symbols and some function symbols. We also show that for every tree automaton with constraints there exists a deterministic and complete tree automaton with constraints, which recognizes the tree language recognized by the former one. In addition, we show that the class of recognized tree languages for tree automata with constraints is closed under union, intersection and complement.
IEICE Technical Report;SS2010-63
Journal
-
- 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 110 (458), 61-66, 2011-02
一般社団法人電子情報通信学会
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1050564288758094080
-
- NII Article ID
- 110008689415
-
- NII Book ID
- AA1123312X
-
- HANDLE
- 2237/23544
-
- NDL BIB ID
- 11046749
-
- ISSN
- 09135685
-
- Text Lang
- ja
-
- Article Type
- journal article
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles
- KAKEN