Equivalence in automata theory based on complete residuated lattice-valued logic

DOI10.1016/j.fss.2007.01.008zbMath1152.68463OpenAlexW2018492626WikidataQ62049458 ScholiaQ62049458MaRDI QIDQ2372274

Zhujun Fan, Hongyan Xing, Fuchun Liu, Dao Wen Qiu

Publication date: 26 July 2007

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2007.01.008

zbMATH Keywords

equivalencefuzzy languagesnonclassical logicfuzzy finite automatasequential machinesresiduated lattice-valued logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Fuzzy logic; logic of vagueness (03B52) Automata and formal grammars in connection with logical questions (03D05)

Related Items

Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure ⋮ Weak bisimulations for fuzzy automata ⋮ Decidability of the minimization of fuzzy tree automata with membership values in complete lattices ⋮ State hyperstructures of tree automata based on lattice-valued logic ⋮ Algebraic properties of complete residuated lattice valued tree automata ⋮ On closure properties of \(\mathcal{L}\)-valued linear languages ⋮ On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations ⋮ Fuzzy automata based on lattice-ordered monoid with algebraic and topological aspects ⋮ Bisimulations for fuzzy automata ⋮ Coding tree languages based on lattice-valued logic ⋮ Minimal realization for fuzzy behaviour: A bicategory-theoretic approach ⋮ Determinization of fuzzy automata with membership values in complete residuated lattices ⋮ Determinization of fuzzy automata via factorization of fuzzy states ⋮ Further improvements of determinization methods for fuzzy finite automata ⋮ Computing behavior of finite fuzzy machines -- algorithm and its application to reduction and minimization ⋮ Computation of the greatest simulations and bisimulations between fuzzy automata ⋮ Construction of fuzzy automata from fuzzy regular expressions ⋮ Characterizations of complete residuated lattice-valued finite tree automata ⋮ A comment on ``Automata theory based on complete residuated lattice-valued logic: pushdown automata ⋮ Myhill-Nerode type theory for fuzzy languages and automata ⋮ Unnamed Item ⋮ Formal power series and regular operations on fuzzy languages ⋮ Automata theory based on complete residuated lattice-valued logic: Reduction and minimization ⋮ Fuzzy relation equations and reduction of fuzzy automata ⋮ Reduction of fuzzy automata by means of fuzzy quasi-orders ⋮ On minimal realization of fuzzy behaviour and associated categories ⋮ A categorical approach to minimal realization for a fuzzy language ⋮ Weighted finite automata with output ⋮ Categories of quantale-valued fuzzy automata: determinization and minimization ⋮ TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS ⋮ ADMISSIBLE PARTITION FOR BL-GENERAL FUZZY AUTOMATON ⋮ 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 ⋮ Grammar theory based on lattice-ordered monoid ⋮ Automata theory based on complete residuated lattice-valued logic: a categorical approach ⋮ Construction of a minimal realization and monoid for a fuzzy language: a categorical approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Automata theory based on complete residuated lattice-valued logic. II
• Equivalence, reduction and minimization of finite fuzzy-automata
• Equivalence, reduction and minimization of finite automata over semirings
• Fuzzy automata and languages
• Fuzzy language on free monoid
• On fuzzy regular languages
• Finite \(L\)-fuzzy machines.
• Minimization of fuzzy finite automata
• Reduced forms for stochastic sequential machines
• Max-product machines
• On reductions of maximin machines
• On Fuzzy Logic I Many‐valued rules of inference
• Resolution of composite fuzzy relation equations
• Deterministic Acceptors of Regular Fuzzy Languages
• Comments on the Minimization of Stochastic Machines
• Maximin automata
• Fuzzy discrete structures