Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
From MaRDI portal
Publication:2200645
DOI10.1016/j.ins.2018.08.033zbMath1441.68130OpenAlexW2885345486WikidataQ114167440 ScholiaQ114167440MaRDI QIDQ2200645
Miroslav Ćirić, Jelena Ignjatović, Stefan Stanimirović
Publication date: 22 September 2020
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2018.08.033
fuzzy automatoninfinite rangedeterminizationfuzzy languagecomplete residuated latticecomplete deterministic fuzzy automaton
Related Items
Two dimensional fuzzy regular languages, Characterization and computation of approximate bisimulations for fuzzy automata, Conditions for the existence of maximal factorizations, Intuitionistic fuzzy \(( \otimes,N)\)-general regular languages and their minimization implementation, Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure
- Weak bisimulations for fuzzy automata
- Brzozowski type determinization for fuzzy automata
- Weighted finite automata over hemirings
- Bisimulations for fuzzy automata
- Determinization of fuzzy automata via factorization of fuzzy states
- An improved algorithm for determinization of weighted and fuzzy automata
- Finite automata theory with membership values in lattices
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- Further improvements of determinization methods for fuzzy finite automata
- A generalization of Myhill-Nerode theorem for fuzzy languages
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Reduction of fuzzy automata by means of fuzzy quasi-orders
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Congruences and homomorphisms of fuzzy automata
- Handbook of weighted automata
- Weighted finite automata over strong bimonoids
- 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
- Myhill-Nerode type theory for fuzzy languages and automata
- Fuzzy relation equations and reduction of fuzzy automata
- Determinization of weighted finite automata over strong bimonoids
- Ranks of fuzzy matrices. Applications in state reduction of fuzzy automata
- Construction of fuzzy automata from fuzzy regular expressions
- Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences
- Determinism and fuzzy automata
- Algebraic properties of \(L\)-fuzzy finite automata
- Determinization of fuzzy automata with membership values in complete residuated lattices
- On the Determinization of Weighted Finite Automata
- Five Determinisation Algorithms
- Factorization of Fuzzy Automata
- Fuzzy equational logic