Weighted automata
From MaRDI portal
Recommendations
- Weighted automata algorithms
- Weighted automata and weighted logics
- Weighted automata and weighted logics
- Automata, Languages and Programming
- Finite-valued weighted automata
- On deterministic weighted automata
- Weighted finite automata over hemirings
- Alternating Weighted Automata
- Weighted synchronous automata
- Weighted finite automata with output
Cites work
- scientific article; zbMATH DE number 5854945 (Why is no real title available?)
- scientific article; zbMATH DE number 5141498 (Why is no real title available?)
- scientific article; zbMATH DE number 3932372 (Why is no real title available?)
- scientific article; zbMATH DE number 3660804 (Why is no real title available?)
- scientific article; zbMATH DE number 41838 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 3504474 (Why is no real title available?)
- scientific article; zbMATH DE number 3588051 (Why is no real title available?)
- scientific article; zbMATH DE number 3623470 (Why is no real title available?)
- scientific article; zbMATH DE number 1354999 (Why is no real title available?)
- scientific article; zbMATH DE number 708666 (Why is no real title available?)
- scientific article; zbMATH DE number 1136764 (Why is no real title available?)
- scientific article; zbMATH DE number 1744958 (Why is no real title available?)
- scientific article; zbMATH DE number 1794367 (Why is no real title available?)
- scientific article; zbMATH DE number 1358710 (Why is no real title available?)
- scientific article; zbMATH DE number 3229502 (Why is no real title available?)
- scientific article; zbMATH DE number 3371972 (Why is no real title available?)
- scientific article; zbMATH DE number 3186872 (Why is no real title available?)
- A Kleene-Schützenberger theorem for weighted timed automata
- A Nivat theorem for weighted picture automata and weighted MSO logics
- A Nivat theorem for weighted timed automata and weighted relative distance logic
- A treatise on many-valued logics
- A unifying Kleene theorem for weighted finite automata
- Adding nesting structure to words
- Algebraic systems and pushdown automata
- An algebraic characterization of semirings for which the support of every recognizable series is recognizable
- Applications of weighted automata in natural language processing
- Automata theory and its applications
- Automata, Languages and Programming
- Automata-based axiom pinpointing
- Automatic Termination
- Classifying regular events in symbolic logic
- Computer science -- theory and applications. 8th international computer science symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25--29, 2013. Proceedings
- Conway and iteration hemirings. II.
- Decision Problems of Finite Automata Design and Related Arithmetics
- Definable transductions and weighted logics for texts
- Distance desert automata and the star height problem
- Effective construction of the syntactic algebra of a recognizable series on trees
- Expressiveness and closure properties for quantitative languages
- Finite Automata Computing Real Functions
- Finite tree automata with cost functions
- Finite-memory automata
- Gröbner bases and the defining polynomial of a context-free grammar generating function
- Handbook of weighted automata
- Improved limitedness theorems on finite automata with distance functions
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Lattice Automata
- MSO logics for weighted timed automata
- Matrices de Hankel
- Metamathematics of fuzzy logic
- Monadic second-order definable text languages
- Monadic second-order logic over rectangular pictures and recognizability by tiling systems
- On aperiodic and star-free formal power series in partially commuting variables
- On cancellation properties of languages which are supports of rational power series
- On finite monoids having only trivial subgroups
- On some questions of rationality and decidability
- On the definition of a family of automata
- OpenFst: A General and Efficient Weighted Finite-State Transducer Library
- Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization
- Optimal infinite scheduling for multi-priced timed automata
- Optimal paths in weighted timed automata
- Pebble weighted automata and weighted logics
- Quantitative languages
- Recent advances in formal languages and applications.
- Recognizable formal power series on trees
- Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
- Schützenberger's theorem on formal power series follows from Kleene's theorem
- Skew and infinitary formal power series
- Survey: Weighted extended top-down tree transducers. II. Application in machine translation
- T-structures, T-functions, and texts
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages
- The equivalence problem of multitape finite automata
- The support of a recognizable series over a zero-sum free, commutative semiring is recognizable
- Tiburon: A Weighted Tree Automata Toolkit
- Traces, series-parallel posets, and pictures: a weighted study
- Transductions des langages de Chomsky
- Valuations of weighted automata: doing it in a rational way
- Weighted Muller tree automata and weighted logics
- Weighted automata algorithms
- Weighted automata and logics on graphs
- Weighted automata and logics on infinite graphs
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Weighted automata and regular expressions over valuation monoids
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Weighted automata and weighted logics
- Weighted automata and weighted logics with discounting
- Weighted finite automata over hemirings
- Weighted logics for nested words and algebraic formal power series
- Weighted logics for unranked tree automata
- Weighted operator precedence languages
- Weighted picture automata and weighted logics
- Weighted register automata and weighted logic on data words
- Weighted versus Probabilistic Logics
- What's decidable about weighted automata?
Cited in
(43)- The weighted HOM-problem over fields
- Finite ambiguity and finite sequentiality in weighted automata over fields
- Weighted three directions OTA and weighted hexapolic picture automata
- Handbook of weighted automata
- scientific article; zbMATH DE number 6719345 (Why is no real title available?)
- On some decidability questions concerning supports of rational series
- Bidirectional nested weighted automata
- Coalgebras for Bisimulation of Weighted Automata over Semirings
- Multi-valued automata and their applications
- Minimal weighted automata over the Galois field with two elements
- Coping with selfish on-going behaviors
- scientific article; zbMATH DE number 1408339 (Why is no real title available?)
- Weighted automata with storage
- Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings
- scientific article; zbMATH DE number 2040324 (Why is no real title available?)
- Determinisability of unary weighted automata over the rational numbers
- Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings
- Weighted automata and logics meet computational complexity
- A Nivat theorem for weighted alternating automata over commutative semirings
- scientific article; zbMATH DE number 2040326 (Why is no real title available?)
- Automata with Auxiliary Weights
- Weighted Languages Recognizable by Weighted Tree Automata
- Bideterministic weighted automata
- Polynomially ambiguous unary weighted automata over fields
- Bideterministic weighted automata
- Finitely ambiguous and finitely sequential weighted automata over fields
- A Nivat theorem for weighted picture automata and weighted MSO logic
- Weighted synchronous automata
- scientific article; zbMATH DE number 5854944 (Why is no real title available?)
- Unambiguity in automata theory
- Ancient Typefaces and Parametric Weighted Finite Automata
- On deterministic weighted automata
- Alternating Weighted Automata
- scientific article; zbMATH DE number 2040325 (Why is no real title available?)
- A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices
- Weighted Linear Dynamic Logic
- Weight assignment logic
- Weighted Restarting Automata and Pushdown Relations
- Non-deterministic weighted automata evaluated over Markov chains
- Quantitative vs. weighted automata
- On continuous weighted finite automata
- scientific article; zbMATH DE number 7407779 (Why is no real title available?)
- Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
This page was built for publication: Weighted automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2074206)
