Decidability of the minimization of fuzzy tree automata with membership values in complete lattices
From MaRDI portal
Publication:2143812
DOI10.1007/s12190-021-01529-6OpenAlexW3146215656MaRDI QIDQ2143812
Publication date: 31 May 2022
Published in: Journal of Applied Mathematics and Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s12190-021-01529-6
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Backward and forward bisimulation minimization of tree automata
- Minimization of states in automata theory based on finite lattice-ordered monoids
- Model checking computation tree logic over finite lattices
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
- Characterizations of fuzzy finite automata.
- Minimization algorithm of fuzzy finite automata.
- Coding tree languages based on lattice-valued logic
- Characterizations of complete residuated lattice-valued finite tree automata
- New directions in fuzzy automata
- Weighted register automata and weighted logic on data words
- On characterization of fuzzy tree pushdown automata
- Categories of quantale-valued fuzzy automata: determinization and minimization
- Fuzzy tree language recognizability
- Bisimulation of type 2 for BL-general fuzzy automata
- Equivalence in automata theory based on complete residuated lattice-valued logic
- Minimization of lattice finite automata and its application to the decomposition of lattice languages
- Fuzzy tree automata
- Algebraic properties of complete residuated lattice valued tree automata
- BL-general fuzzy automata and accept behavior
- Tree acceptors and some of their applications
- Max-product machines
- Similarity-based minimization of fuzzy tree automata
- Deterministic Acceptors of Regular Fuzzy Languages
- State hyperstructures of tree automata based on lattice-valued logic
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
- Multidimensional fuzzy finite tree automata
- Generalized finite automata theory with an application to a decision problem of second-order logic
- General formulation of sequential machines
- A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
