Coding tree languages based on lattice-valued logic
From MaRDI portal
Recommendations
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
- State hyperstructures of tree automata based on lattice-valued logic
- Algebraic properties of complete residuated lattice valued tree automata
- Characterizations of complete residuated lattice-valued finite tree automata
- \(L\)-valued alternating tree automata
Cites work
- scientific article; zbMATH DE number 3854429 (Why is no real title available?)
- scientific article; zbMATH DE number 3493901 (Why is no real title available?)
- scientific article; zbMATH DE number 3589732 (Why is no real title available?)
- scientific article; zbMATH DE number 3623470 (Why is no real title available?)
- scientific article; zbMATH DE number 1517989 (Why is no real title available?)
- scientific article; zbMATH DE number 1862743 (Why is no real title available?)
- scientific article; zbMATH DE number 3103212 (Why is no real title available?)
- Algebraic properties of complete residuated lattice valued tree automata
- Algebraic properties on the cuts of lattice-valued regular languages
- Automata theory based on complete residuated lattice-valued logic
- Automata theory based on complete residuated lattice-valued logic. II
- Automata theory based on complete residuated lattice-valued logic: Pushdown automata
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
- Automata theory based on lattice-ordered semirings
- Characterizations of complete residuated lattice-valued finite tree automata
- Characterizations of fuzzy finite automata.
- Equivalence in automata theory based on complete residuated lattice-valued logic
- Fuzzy discrete structures
- Fuzzy grammar theory based on lattices
- Fuzzy tree automata
- Fuzzy tree language recognizability
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Isomorphism between two BL-general fuzzy automata
- Minimization of lattice finite automata and its application to the decomposition of lattice languages
- Minimization of states in automata theory based on finite lattice-ordered monoids
- On Fuzzy Logic I Many‐valued rules of inference
- On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- Pumping Lemma in context-free grammar theory based on complete residuated lattice-valued logic
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
- Semigroup homomorphisms and fuzzy automata
- Semirings and pseudo MV algebras
- The power of bootstrap tests of cointegration rank
- Tree acceptors and some of their applications
Cited in
(9)- Decidability of the minimization of fuzzy tree automata with membership values in complete lattices
- On characterization of fuzzy tree pushdown automata
- Lattice-valued tree pushdown automata: pumping lemma and closure properties
- scientific article; zbMATH DE number 6795378 (Why is no real title available?)
- Characterization of tree automata based on quantum logic
- Graded Computation Tree Logic with Binary Coding
- State hyperstructures of tree automata based on lattice-valued logic
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
- Computation tree measurement language (CTML)
This page was built for publication: Coding tree languages based on lattice-valued logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1701899)
