Automata theory based on complete residuated lattice-valued logic: a categorical approach

DOI10.1016/j.fss.2009.01.007zbMath1181.18001OpenAlexW2069701691WikidataQ62049431 ScholiaQ62049431MaRDI QIDQ1040923

Hongyan Xing, Dao Wen Qiu

Publication date: 27 November 2009

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

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

zbMATH Keywords

automatacategorynon-classical logicnon-deterministic automata\(L\)-valued automata

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)

Related Items (21)

Weak bisimulations for fuzzy automata ⋮ On the category of \(L\)-fuzzy automata, coalgebras and dialgebras ⋮ On a factorized \(L\)-fuzzy automaton and its \(L\)-fuzzy topological characterization ⋮ On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations ⋮ Bisimulations for fuzzy automata ⋮ On a category of fuzzy automata with relations ⋮ Minimal realization for fuzzy behaviour: A bicategory-theoretic approach ⋮ An Improved Proof of the Closure Under Homomorphic Inverse of FCFL Valued in Lattice-Ordered Monoids ⋮ GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED ⋮ Nondeterministic fuzzy automata with membership values in complete residuated lattices ⋮ Computation of the greatest simulations and bisimulations between fuzzy automata ⋮ Construction of fuzzy automata from fuzzy regular expressions ⋮ Myhill-Nerode type theory for fuzzy languages and automata ⋮ Unnamed Item ⋮ Formal power series and regular operations on fuzzy languages ⋮ Fuzzy relation equations and reduction of fuzzy automata ⋮ Reduction of fuzzy automata by means of fuzzy quasi-orders ⋮ A categorical approach to minimal realization for a fuzzy language ⋮ Categories of quantale-valued fuzzy automata: determinization and minimization ⋮ ADMISSIBLE PARTITION FOR BL-GENERAL FUZZY AUTOMATON ⋮ Categories of Automata and Languages Based on a Complete Residuated Lattice

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• 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
• A note on Trillas' CHC models
• Fuzzy sets and systems. Theory and applications
• Metamathematics of fuzzy logic
• Semigroup homomorphisms and fuzzy automata
• Equivalence in automata theory based on complete residuated lattice-valued logic
• A categorical approach to lattice-valued fuzzy automata
• L-fuzzy sets
• A CATEGORY OF FUZZY AUTOMATA
• Fuzzy machines in a category
• Machines in a Category: An Expository Introduction
• Abstract residuation over lattices
• Residuated Lattices
• Fuzzy discrete structures

This page was built for publication: Automata theory based on complete residuated lattice-valued logic: a categorical approach