Automata theory based on complete residuated lattice-valued logic
From MaRDI portal
Publication:865962
DOI10.1007/BF02713945zbMATH Open1125.68383OpenAlexW4293542443MaRDI QIDQ865962FDOQ865962
Authors: Daowen Qiu
Publication date: 20 February 2007
Published in: Science in China. Series F (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02713945
Recommendations
- Automata theory based on complete residuated lattice-valued logic: a categorical approach
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
- Automata theory based on complete residuated lattice-valued logic. II
- Algebraic properties of complete residuated lattice valued tree automata
Formal languages and automata (68Q45) Fuzzy logic; logic of vagueness (03B52) Complete lattices, completions (06B23)
Cited In (84)
- Algebraic properties of complete residuated lattice valued tree automata
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
- On typical hesitant fuzzy automata
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency
- A probabilistic model of computing with words
- Bisimulations for fuzzy automata
- Brzozowski type determinization for fuzzy automata
- Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure
- The universal fuzzy automaton
- Weak bisimulations for fuzzy automata
- Fuzzy pushdown automata
- Automata theory based on quantum logic: Some characterizations
- On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations
- Finite automata theory with membership values in lattices
- Automata theory based on complete residuated lattice-valued logic: Turing machines
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Reduction of fuzzy automata by means of fuzzy quasi-orders
- Regular grammars with truth values in lattice-ordered monoid and their languages
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
- Automata theory based on complete residuated lattice-valued logic. II
- Minimization of states in automata theory based on finite lattice-ordered monoids
- Myhill-Nerode type theory for fuzzy languages and automata
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
- Fuzzy relation equations and reduction of fuzzy automata
- Automata theory based on complete residuated lattice-valued logic: Pushdown automata
- Pumping Lemma in context-free grammar theory based on complete residuated lattice-valued logic
- Automata theory based on complete residuated lattice-valued logic: a categorical approach
- Characterizations of fuzzy finite automata.
- Conditions for the existence of maximal factorizations
- A comment on ``Automata theory based on complete residuated lattice-valued logic: pushdown automata
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
- Characterizations of complete residuated lattice-valued finite tree automata
- Construction of fuzzy automata from fuzzy regular expressions
- Fuzzifying topological linear spaces
- Fuzzy alternating Büchi automata over distributive lattices
- A categorical approach to minimal realization for a fuzzy language
- Fuzzy automata based on lattice-ordered monoid with algebraic and topological aspects
- Equivalence in automata theory based on complete residuated lattice-valued logic
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Topological characterizations of automata theory based on quantum logic
- On closure properties of \(\mathcal{L}\)-valued linear languages
- Lattice-valued general orthomodular automata
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Determinization of fuzzy automata via factorization of fuzzy states
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Coding tree languages based on lattice-valued logic
- Similarity-based minimization of fuzzy tree automata
- Fuzzy grammar theory based on lattices
- Further improvements of determinization methods for fuzzy finite automata
- Model checking fuzzy computation tree logic
- Grammar theory based on lattice-ordered monoid
- Fuzzy Regular Languages Based on Residuated Lattice
- Fuzzy soft metric and fuzzifying soft topology induced by fuzzy soft metric
- GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED
- Title not available (Why is that?)
- On a factorized \(L\)-fuzzy automaton and its \(L\)-fuzzy topological characterization
- ADMISSIBLE PARTITION FOR BL-GENERAL FUZZY AUTOMATON
- \(L\)-fuzzy automata theory: some characterizations via general fuzzy operators
- On \(L\)-fuzzy automata, coalgebras and dialgebras: associated categories and \(L\)-fuzzy topologies
- Categories of Automata and Languages Based on a Complete Residuated Lattice
- Bipolar Fuzzy Preorder, Alexandrov Bipolar Fuzzy Topology and Bipolar Fuzzy Automata
- Measure of Operators Associated with Fuzzy Automata
- \(L^B\)-valued general fuzzy automata
- Different Operators in Automata Theory Based on Residuated and Co-Residuated Lattices
- On minimal realization of fuzzy behaviour and associated categories
- Interval type-2 fuzzy automata and interval type-2 fuzzy grammar
- Distinguishability and completeness of crisp deterministic fuzzy automata
- Canonization of max-min fuzzy automata
- State hyperstructures of tree automata based on lattice-valued logic
- Title not available (Why is that?)
- On the category of \(L\)-fuzzy automata, coalgebras and dialgebras
- Minimal fuzzy realization for fuzzy behaviour: a bicategory-theoretic approach
- Categories of quantale-valued fuzzy automata: determinization and minimization
- On \(L^M\)-valued automata: an operator oriented view
- FUZZY PREORDERED SET, FUZZY TOPOLOGY AND FUZZY AUTOMATON BASED ON GENERALIZED RESIDUATED LATTICE
- Construction of a minimal realization and monoid for a fuzzy language: a categorical approach
- Algebraic properties of \(L\)-fuzzy finite automata
- The relationships among several forms of weighted finite automata over strong bimonoids
- TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES
- On typical hesitant fuzzy languages and automata
- On intuitionistic fuzzy context-free languages
- Isomorphism between two vector general fuzzy automata
- BL-general fuzzy automata and minimal realization: based on the associated categories
This page was built for publication: Automata theory based on complete residuated lattice-valued logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q865962)