Determinization of weighted finite automata over strong bimonoids
From MaRDI portal
(Redirected from Publication:991892)
Recommendations
- Weighted finite automata over strong bimonoids
- An improved algorithm for determinization of weighted and fuzzy automata
- Crisp-determinization of weighted tree automata over strong bimonoids
- The relationships among several forms of weighted finite automata over strong bimonoids
- scientific article; zbMATH DE number 6124028
Cites work
- scientific article; zbMATH DE number 5643878 (Why is no real title available?)
- scientific article; zbMATH DE number 3932372 (Why is no real title available?)
- scientific article; zbMATH DE number 1183717 (Why is no real title available?)
- scientific article; zbMATH DE number 41838 (Why is no real title available?)
- scientific article; zbMATH DE number 177548 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 3588051 (Why is no real title available?)
- scientific article; zbMATH DE number 3598539 (Why is no real title available?)
- scientific article; zbMATH DE number 3623470 (Why is no real title available?)
- scientific article; zbMATH DE number 2080949 (Why is no real title available?)
- scientific article; zbMATH DE number 789816 (Why is no real title available?)
- scientific article; zbMATH DE number 3265861 (Why is no real title available?)
- A theory of computation based on quantum logic. I
- Alternating Weighted Automata
- 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
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Expressiveness and closure properties for quantitative languages
- Finite automata based on quantum logic and monadic second-order quantum logic
- Finite tree automata with cost functions
- Formal power series and regular operations on fuzzy languages
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Fuzzy tree language recognizability
- Handbook of weighted automata
- Initial Algebra Semantics and Continuous Algebras
- Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices
- Minimization algorithms for sequential transducers
- Multiset processing. Mathematical, computer science, and molecular computing points of view
- Myhill-Nerode type theory for fuzzy languages and automata
- On the recognizability of fuzzy languages. I
- On the recognizability of fuzzy languages. II
- Quantitative Languages
- Triangular norms
- Weighted finite automata over strong bimonoids
Cited in
(38)- scientific article; zbMATH DE number 6719345 (Why is no real title available?)
- Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable
- scientific article; zbMATH DE number 6124028 (Why is no real title available?)
- scientific article; zbMATH DE number 7644294 (Why is no real title available?)
- Weighted finite automata over strong bimonoids
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Conditions for the existence of maximal factorizations
- Brzozowski type determinization for fuzzy automata
- Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure
- Congruence and minimization of deterministic weighted finite automata
- Bisimulations for fuzzy automata
- An improved algorithm for determinization of weighted and fuzzy automata
- McCarthy-Kleene fuzzy automata and MSO logics
- Determinisability of unary weighted automata over the rational numbers
- Nondeterministic fuzzy automata
- Weighted Automata over Vector Spaces
- Weighted automata and logics meet computational complexity
- MK-fuzzy automata and MSO logics
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
- Further improvements of determinization methods for fuzzy finite automata
- Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application
- Weighted nested word automata and logics over strong bimonoids
- Bideterministic weighted automata
- Model checking computation tree logic over finite lattices
- Determinations of weighted finite automata over commutative idempotent MF-semirings
- Bideterministic weighted automata
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
- The Chomsky-Schützenberger theorem for quantitative context-free languages
- On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations
- Model checking of linear-time properties in multi-valued systems
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- The relationships among several forms of weighted finite automata over strong bimonoids
- A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices
- Determinization of fuzzy automata via factorization of fuzzy states
- Crisp-determinization of weighted tree automata over strong bimonoids
- Construction of fuzzy automata from fuzzy regular expressions
- Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
This page was built for publication: Determinization of weighted finite automata over strong bimonoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q991892)
