Weighted finite automata over strong bimonoids
From MaRDI portal
Publication:845343
Recommendations
- Determinization of weighted finite automata over strong bimonoids
- The relationships among several forms of weighted finite automata over strong bimonoids
- scientific article; zbMATH DE number 6124028
- Congruence and minimization of deterministic weighted finite automata
- scientific article; zbMATH DE number 6719345
Cites work
- scientific article; zbMATH DE number 5643878 (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 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 3265861 (Why is no real title available?)
- A characterization of attributed tree transformations by a subclass of macro tree transducers
- A note on cut-worthiness of recognizable tree series
- Applications of weighted automata in natural language processing
- Approximation and robustness of fuzzy finite automata
- Cut sets as recognizable tree languages
- Determinism and fuzzy automata
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Digital image compression
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Handbook of weighted automata
- Minimization algorithms for sequential transducers
- Minimization of lattice finite automata and its application to the decomposition of lattice languages
- On the definition of a family of automata
- On the determinization of weighted finite automata
- The design principles of a weighted finite-state transducer library
- Weighted automata and weighted logics
Cited in
(43)- Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness
- scientific article; zbMATH DE number 6124028 (Why is no real title available?)
- Determinations of weighted finite automata over commutative idempotent MF-semirings
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
- scientific article; zbMATH DE number 6719345 (Why is no real title available?)
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Bideterministic weighted automata
- MK-fuzzy automata and MSO logics
- The Chomsky-Schützenberger theorem for quantitative context-free languages
- Bisimulations for fuzzy automata
- McCarthy-Kleene fuzzy automata and MSO logics
- Crisp-determinization of weighted tree automata over strong bimonoids
- Nondeterministic fuzzy automata
- Sequentiality of group-weighted tree automata
- A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices
- Weighted Linear Dynamic Logic
- An improved algorithm for determinization of weighted and fuzzy automata
- Valuations of weighted automata: doing it in a rational way
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
- Determinization of weighted finite automata over strong bimonoids
- Weighted context-free grammars over bimonoids
- Conditions for the existence of maximal factorizations
- Weighted nested word automata and logics over strong bimonoids
- Approximated determinisation of weighted tree automata
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
- Local finiteness in t-norm bimonoids: overlap cases
- Construction of fuzzy automata from fuzzy regular expressions
- Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
- Model checking computation tree logic over finite lattices
- Equational weighted tree transformations
- Congruence and minimization of deterministic weighted finite automata
- Weighted symbolic automata with data storage
- Weighted automata with storage
- Bisimulation relations for weighted automata
- The supports of weighted unranked tree automata
- Weighted automata and logics meet computational complexity
- The relationships among several forms of weighted finite automata over strong bimonoids
- On quotients of formal power series
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- The complexity of computing the behaviour of lattice automata on infinite trees
- scientific article; zbMATH DE number 7644294 (Why is no real title available?)
This page was built for publication: 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 Q845343)
