Myhill-Nerode type theory for fuzzy languages and automata

DOI10.1016/J.FSS.2009.06.007MaRDI QIDQ969583zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

fuzzy automatonfuzzy languageMyhill-Nerode theoremsyntactic monoiddeterministic automatonderivative automatonminimal automatonMyhill's automatonNerode's automaton

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Recommendations

• A generalization of Myhill-Nerode theorem for fuzzy languages
• On the recognizability of fuzzy languages. I
• On fuzzy regular languages
• Algebraic Myhill-Nerode theorems
• On the recognizability of fuzzy languages. II

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 58315 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 1259068 (Why is no real title available?)
• scientific article; zbMATH DE number 1958322 (Why is no real title available?)
• scientific article; zbMATH DE number 2040902 (Why is no real title available?)
• scientific article; zbMATH DE number 1790419 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 951671 (Why is no real title available?)
• scientific article; zbMATH DE number 1862743 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• scientific article; zbMATH DE number 2199279 (Why is no real title available?)
• scientific article; zbMATH DE number 3254905 (Why is no real title available?)
• A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
• A categorical approach to lattice-valued fuzzy automata
• A note on cut-worthiness of recognizable tree series
• A theory of computation based on quantum logic. I
• Algebraic aspects of families of fuzzy languages
• Algebraic properties of \(LA\)-languages
• Algebraic properties on the cuts of lattice-valued regular languages
• Approximation and robustness of fuzzy finite automata
• 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: a categorical approach
• Automata theory based on quantum logic. I
• Automata theory based on quantum logic. II.
• Automata theory based on quantum logic: Some characterizations
• Automata theory based on quantum logic: reversibilities and pushdown automata
• Congruences and homomorphisms of fuzzy automata
• Cut sets as recognizable tree languages
• Determinism and fuzzy automata
• Determinization of fuzzy automata with membership values in complete residuated lattices
• Equality relations as a basis for fuzzy control
• Equivalence in automata theory based on complete residuated lattice-valued logic
• Factorization of Fuzzy Automata
• Fuzzy automata and languages
• Fuzzy equational logic
• Fuzzy equivalence relations and their equivalence classes
• Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
• Fuzzy groups, fuzzy functions and fuzzy equivalence relations.
• Fuzzy language on free monoid
• Fuzzy relation equations and reduction of fuzzy automata
• Fuzzy semigroups.
• Grammar theory based on lattice-ordered monoid
• Linear Automaton Transformations
• Max-product machines
• Maximin automata
• Minimization algorithm of fuzzy finite automata.
• Minimization of fuzzy finite 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
• Myhill-Nerode Theorem for Recognizable Tree Series Revisited
• On Correspondences Between Unary Algebras, Automata, Semigroups and Congruences
• On fuzzy regular languages
• On quotient machines of a fuzzy automaton and the minimal machine
• On the recognizability of fuzzy languages. I
• On the recognizability of fuzzy languages. II
• Products of fuzzy finite state machines
• 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
• Regular grammars with truth values in lattice-ordered monoid and their languages
• Sequential Functions
• The algebra of fuzzy truth values
• The equivalence between fuzzy Mealy and fuzzy Moore machines
• The relationships among several types of fuzzy automata
• Topological properties of the class of generators of an indistinguishability operator
• Unary algebras, semigroups and congruences on free semigroups
• Weighted automata and weighted logics

Cited in

(51)

• \(L\)-fuzzy automata theory: some characterizations via general fuzzy operators
• On \(L\)-fuzzy automata, coalgebras and dialgebras: associated categories and \(L\)-fuzzy topologies
• Algebraic lattices of solvably saturated formations and their applications
• Pseudovarieties of algebras with fuzzy equalities.
• Computation of the greatest simulations and bisimulations between fuzzy automata
• 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
• Categories of Automata and Languages Based on a Complete Residuated Lattice
• Measure of Operators Associated with Fuzzy Automata
• Bisimulations for fuzzy automata
• Minimal fuzzy realization for fuzzy behaviour: a bicategory-theoretic approach
• An improved algorithm for determinization of weighted and fuzzy automata
• Categories of quantale-valued fuzzy automata: determinization and minimization
• On \(L^M\)-valued automata: an operator oriented view
• Laws of the lattices of \(\sigma \)-local formations of finite groups
• IT-2 Fuzzy Automata and IT-2 Fuzzy Languages
• BL-general fuzzy automata and minimal realization: based on the associated categories
• Weighted Automata over Vector Spaces
• Different Operators in Automata Theory Based on Residuated and Co-Residuated Lattices
• On minimal realization of fuzzy behaviour and associated categories
• Determinization of weighted finite automata over strong bimonoids
• Quasitriangular structure of Myhill-Nerode bialgebras
• TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES
• 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
• Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them
• A Myhill-Nerode theorem for higher-dimensional automata
• Reduction of fuzzy automata by means of fuzzy quasi-orders
• A remark on Myhill-Nerode theorem for fuzzy languages
• Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
• The Relationship Among Fuzzy Languages, Upper Sets and Fuzzy Ordered Monoids
• Products of lattice-valued fuzzy transition systems and induced fuzzy transformation semigroups
• A categorical approach to minimal realization for a fuzzy language
• 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
• Nondeterministic automata: equivalence, bisimulations, and uniform relations
• On closure properties of \(\mathcal{L}\)-valued linear languages
• Canonization of max-min fuzzy automata
• On the category of \(L\)-fuzzy automata, coalgebras and dialgebras
• Determinization of fuzzy automata with membership values in complete residuated lattices
• On a category of fuzzy automata with relations
• Determinization of fuzzy automata via factorization of fuzzy states
• A Myhill-Nerode theorem for finite state matrix automata and finite matrix languages
• Distinguishability and completeness of crisp deterministic fuzzy automata
• On minimal realization for a fuzzy language and Brzozowski's algorithm
• Minimal realization for fuzzy behaviour: a bicategory-theoretic approach
• Algebraic Myhill-Nerode theorems
• Construction of a minimal realization and monoid for a fuzzy language: a categorical approach
• Construction of fuzzy automata from fuzzy regular expressions

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)