On ground tree transformations and congruences induced by tree automata
نویسندگان
چکیده
منابع مشابه
Multidimensional fuzzy finite tree automata
This paper introduces the notion of multidimensional fuzzy finite tree automata (MFFTA) and investigates its closure properties from the area of automata and language theory. MFFTA are a superclass of fuzzy tree automata whose behavior is generalized to adapt to multidimensional fuzzy sets. An MFFTA recognizes a multidimensional fuzzy tree language which is a regular tree language so that for e...
متن کاملSome Hypergroups Induced By Tree Automata
In this paper, we present some connections between tree automaton theory and hyperstructure theory. In this regard, at first we construct some hyperoperations on the set of trees and, specially, prove that one of them creates a join space. Also, we define a hyperoperation on the states of a tree automaton and, based on the properties of the tree automaton, we show that the proposed hyperoperati...
متن کاملNEW DIRECTION IN FUZZY TREE AUTOMATA
In this paper, our focus of attention is the proper propagationof fuzzy degrees in determinization of $Nondeterministic$ $Fuzzy$$Finite$ $Tree$ $Automata$ (NFFTA). Initially, two determinizationmethods are introduced which have some limitations (one inbehavior preserving and other in type of fuzzy operations). Inorder to eliminate these limitations and increasing theefficiency of FFTA, we defin...
متن کاملTree Automata and Tree Grammars
Preface I wrote these lecture notes during my stay in Aarhus in the academic year 1974/75. As a young researcher I had a wonderful time at DAIMI, and I have always been happy to have had that early experience. I wish to thank Heiko Vogler for his noble plan to move these notes into the digital world, and I am grateful to Florian Starke and Markus Napierkowski (and Heiko) for the excellent trans...
متن کاملBasics on Tree Automata
The theory of tree automata was established in the late sixties by Thatcher and Wright [53] and Doner [19]. They showed that the basic logical and algorithmic properties of standard automata theory can be transferred from the domain of finite words to the domain of finite trees (or terms), leading to a theory of regular tree languages. Quoting from the introduction of [53], where the theory of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2003
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(03)00279-2