Myhill-Nerode type theory for fuzzy languages and automata
From MaRDI portal
Publication:969583
DOI10.1016/J.FSS.2009.06.007zbMATH Open1202.68261OpenAlexW2016220393MaRDI QIDQ969583FDOQ969583
Authors: Jelena Ignjatović, Miroslav Ćirić, Stojan Bogdanović, Tatjana Petković 
Publication date: 7 May 2010
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2009.06.007
Recommendations
fuzzy automatonfuzzy languageMyhill-Nerode theoremsyntactic monoiddeterministic automatonderivative automatonminimal automatonMyhill's automatonNerode's automaton
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Fuzzy automata and languages
- Equality relations as a basis for fuzzy control
- On fuzzy regular languages
- Fuzzy semigroups.
- Minimization of fuzzy finite automata
- Determinism and fuzzy automata
- Fuzzy groups, fuzzy functions and fuzzy equivalence relations.
- Fuzzy equivalence relations and their equivalence classes
- 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
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Max-product machines
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Factorization of Fuzzy Automata
- Maximin automata
- A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
- Fuzzy equational logic
- The algebra of fuzzy truth values
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Congruences and homomorphisms of fuzzy automata
- On the recognizability of fuzzy languages. II
- On the recognizability of fuzzy languages. I
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
- Minimization of states in automata theory based on finite lattice-ordered monoids
- Automata theory based on complete residuated lattice-valued logic
- Automata theory based on complete residuated lattice-valued logic. II
- Fuzzy relation equations and reduction of fuzzy automata
- On quotient machines of a fuzzy automaton and the minimal machine
- Approximation and robustness of fuzzy finite automata
- The relationships among several types of fuzzy automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Products of fuzzy finite state machines
- Minimization algorithm of fuzzy finite automata.
- Automata theory based on quantum logic. I
- Automata theory based on quantum logic: reversibilities and pushdown automata
- A categorical approach to lattice-valued fuzzy automata
- Algebraic properties of \(LA\)-languages
- A theory of computation based on quantum logic. I
- Automata theory based on quantum logic. II.
- Automata theory based on quantum logic: Some characterizations
- Regular grammars with truth values in lattice-ordered monoid and their languages
- The equivalence between fuzzy Mealy and fuzzy Moore machines
- Linear Automaton Transformations
- Unary algebras, semigroups and congruences on free semigroups
- Weighted automata and weighted logics
- Title not available (Why is that?)
- Sequential Functions
- Title not available (Why is that?)
- Fuzzy language on free monoid
- Algebraic aspects of families of fuzzy languages
- Grammar theory based on lattice-ordered monoid
- Topological properties of the class of generators of an indistinguishability operator
- Cut sets as recognizable tree languages
- A note on cut-worthiness of recognizable tree series
- Algebraic properties on the cuts of lattice-valued regular languages
- Title not available (Why is that?)
- Myhill-Nerode Theorem for Recognizable Tree Series Revisited
- On Correspondences Between Unary Algebras, Automata, Semigroups and Congruences
Cited In (49)
- Algebraic lattices of solvably saturated formations and their applications
- Quasitriangular structure of Myhill-Nerode bialgebras
- Algebraic Myhill-Nerode theorems
- Bisimulations for fuzzy automata
- On a factorized \(L\)-fuzzy automaton and its \(L\)-fuzzy topological characterization
- Pseudovarieties of algebras with fuzzy equalities.
- Brzozowski type determinization for fuzzy automata
- Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure
- Weak bisimulations for fuzzy automata
- Title not available (Why is that?)
- \(L\)-fuzzy automata theory: some characterizations via general fuzzy operators
- On \(L\)-fuzzy automata, coalgebras and dialgebras: associated categories and \(L\)-fuzzy topologies
- An improved algorithm for determinization of weighted and fuzzy automata
- On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Categories of Automata and Languages Based on a Complete Residuated Lattice
- Measure of Operators Associated with Fuzzy Automata
- Reduction of fuzzy automata by means of fuzzy quasi-orders
- Products of lattice-valued fuzzy transition systems and induced fuzzy transformation semigroups
- Different Operators in Automata Theory Based on Residuated and Co-Residuated Lattices
- A remark on Myhill-Nerode theorem for fuzzy languages
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- On minimal realization of fuzzy behaviour and associated categories
- Determinization of weighted finite automata over strong bimonoids
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
- Construction of fuzzy automata from fuzzy regular expressions
- Canonization of max-min fuzzy automata
- On the category of \(L\)-fuzzy automata, coalgebras and dialgebras
- On minimal realization for a fuzzy language and Brzozowski's algorithm
- Minimal realization for fuzzy behaviour: a bicategory-theoretic approach
- BL-general fuzzy automata and minimal realization: Based on the associated categories
- Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them
- Categories of quantale-valued fuzzy automata: determinization and minimization
- On \(L^M\)-valued automata: an operator oriented view
- Weighted Automata over Vector Spaces
- A categorical approach to minimal realization for a fuzzy language
- IT-2 Fuzzy Automata and IT-2 Fuzzy Languages
- On a category of fuzzy automata with relations
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Construction of a minimal realization and monoid for a fuzzy language: a categorical approach
- Laws of the lattices of \(\sigma \)-local formations of finite groups
- TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES
- On closure properties of \(\mathcal{L}\)-valued linear languages
- The Relationship Among Fuzzy Languages, Upper Sets and Fuzzy Ordered Monoids
- Determinization of fuzzy automata via factorization of fuzzy states
- DISTINGUISHABILITY AND COMPLETENESS OF CRISP DETERMINISTIC FUZZY AUTOMATA
- A generalization of Myhill-Nerode theorem for fuzzy languages
- Further improvements of determinization methods for fuzzy finite automata
- On equality between fuzzy context-free and fuzzy adult 0L languages
This page was built for publication: Myhill-Nerode type theory for fuzzy languages and automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q969583)
