Characterizations of complete residuated lattice-valued finite tree automata

2012 ◽  
Vol 199 ◽  
pp. 28-46 ◽  
Author(s):  
M. Ghorani ◽  
M.M. Zahedi
Keyword(s):  
Residuated Lattice ◽  
Tree Automata ◽  
Finite Tree ◽  
Complete Residuated Lattice

State hyperstructures of tree automata based on lattice-valued logic

2018 ◽  
Vol 52 (1) ◽  
pp. 23-42 ◽  
Author(s):  
Maryam Ghorani
Keyword(s):  
Residuated Lattice ◽  
Residuated Lattices ◽  
The Other ◽  
Equivalence Relations ◽  
Tree Automaton ◽  
Tree Automata ◽  
Other Hand ◽  
Complete Residuated Lattice ◽  
The Creation ◽  
The Given

In this paper, an association is organized between the theory of tree automata on one hand and the hyperstructures on the other hand, over complete residuated lattices. To this end, the concept of order of the states of a complete residuated lattice-valued tree automaton (simply L-valued tree automaton) is introduced along with several equivalence relations in the set of the states of an L-valued tree automaton. We obtain two main results from this study: one of the relations can lead to the creation of Kleene’s theorem for L-valued tree automata, and the other one leads to the creation of a minimal v-valued tree automaton that accepts the same language as the given one.

Algebraic properties of complete residuated lattice valued tree automata

2012 ◽  
Vol 16 (10) ◽  
pp. 1723-1732 ◽  
Author(s):  
M. Ghorani ◽  
M. M. Zahedi ◽  
R. Ameri
Keyword(s):  
Residuated Lattice ◽  
Tree Automata ◽  
Algebraic Properties ◽  
Complete Residuated Lattice

Fuzzy roughness of n-ary hypergroups based on a complete residuated lattice

2010 ◽  
Vol 20 (1) ◽  
pp. 41-57 ◽  
Author(s):  
Yunqiang Yin ◽  
Jianming Zhan ◽  
P. Corsini
Keyword(s):  
Residuated Lattice ◽  
Complete Residuated Lattice

Deciding Equivalence of Finite Tree Automata

1990 ◽  
Vol 19 (3) ◽  
pp. 424-437 ◽  
Author(s):  
Helmut Seidl
Keyword(s):  
Tree Automata ◽  
Finite Tree

scholarly journals A Congruence-Based Perspective on Finite Tree Automata

2022 ◽  
Vol 184 (1) ◽  
pp. 1-47
Author(s):  
Pierre Ganty ◽  
Elena Gutiérrez ◽  
Pedro Valero
Keyword(s):  
Expressive Power ◽  
Tree Automata ◽  
Minimization Algorithm ◽  
Top Down ◽  
Finite Tree ◽  
Bottom Up ◽  
Original Result

We provide new insights on the determinization and minimization of tree automata using congruences on trees. From this perspective, we study a Brzozowski’s style minimization algorithm for tree automata. First, we prove correct this method relying on the following fact: when the automata-based and the language-based congruences coincide, determinizing the automaton yields the minimal one. Such automata-based congruences, in the case of word automata, are defined using pre and post operators. Now we extend these operators to tree automata, a task that is particularly challenging due to the reduced expressive power of deterministic top-down (or equivalently co-deterministic bottom-up) automata. We leverage further our framework to offer an extension of the original result by Brzozowski for word automata.

Sign in / Sign up

Export Citation Format

Share Document