Conditions for the existence of maximal factorizations
From MaRDI portal
Publication:2035282
DOI10.1016/j.fss.2019.07.006zbMath1464.08001OpenAlexW2966441286WikidataQ114175407 ScholiaQ114175407MaRDI QIDQ2035282
Stefan Gerdjikov, José R. González de Mendívil
Publication date: 24 June 2021
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2019.07.006
fuzzy automatafactorizationweighted automatamonoidmaximal factorizationmost general equalizer monoid
Applications of universal algebra in computer science (08A70) Semigroups in automata theory, linguistics, etc. (20M35) Other algebras related to logic (03G25)
Cites Work
- Unnamed Item
- Unnamed Item
- 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
- Weighted finite automata over hemirings
- Determinization of fuzzy automata via factorization of fuzzy states
- Finite automata theory with membership values in lattices
- A generalization of Myhill-Nerode theorem for fuzzy languages
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Handbook of weighted automata
- Weighted finite automata over strong bimonoids
- Automata theory based on complete residuated lattice-valued logic
- Automata theory based on complete residuated lattice-valued logic. II
- Determinization of weighted finite automata over strong bimonoids
- Triangular norms
- Minimization algorithms for sequential transducers
- A general class of monoids supporting canonisation and minimisation of (sub)sequential transducers
- Determinism and fuzzy automata
- Minimization of symbolic transducers
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
- Space-efficient bimachine construction based on the equalizer accumulation principle
- Canonization of max-min fuzzy automata
- Determinization of fuzzy automata with membership values in complete residuated lattices
