Weighted automata and multi-valued logics over arbitrary bounded lattices

DOI10.1016/J.TCS.2011.11.008MaRDI QIDQ764336zbMATH OpenOpenAlexFDO

Authors Manfred Droste, Heiko Vogler

Publication date 13 March 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.11.008

zbMATH Keywords

formal power seriesmonadic second-order logicsemiringweighted automatalattice-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)

Recommendations

• Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices
• Finite automata with membership values in lattices and monadic second-order lattice-valued logic
• Weighted automata and weighted logics
• Weighted Automata and Weighted Logics on Infinite Words
• Weighted automata and weighted logics on infinite words

Cites work

• scientific article; zbMATH DE number 4201644 (Why is no real title available?)
• scientific article; zbMATH DE number 5366670 (Why is no real title available?)
• scientific article; zbMATH DE number 3932372 (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 3588051 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• scientific article; zbMATH DE number 1136764 (Why is no real title available?)
• scientific article; zbMATH DE number 1142311 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 1744958 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• scientific article; zbMATH DE number 3186872 (Why is no real title available?)
• A theory of computation based on quantum logic. I
• A treatise on many-valued logics
• Alternating Weighted Automata
• Automata theory based on complete residuated lattice-valued logic
• Automata theory based on quantum logic. I
• Automata theory based on quantum logic: Some characterizations
• Automata theory based on quantum logic: reversibilities and pushdown automata
• Automata, Languages and Programming
• Automata, Languages and Programming
• Decision Problems of Finite Automata Design and Related Arithmetics
• Definable Transductions and Weighted Logics for Texts
• Finite automata based on quantum logic and monadic second-order quantum logic
• First-order definable languages
• Handbook of weighted automata
• Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices
• Lattice Automata
• Logic Programming
• Multi-valued model checking via classical model checking.
• Notes on automata theory based on quantum logic
• On aperiodic and star-free formal power series in partially commuting variables
• On finite monoids having only trivial subgroups
• On rational series and rational languages
• On the definition of a family of automata
• PURE AND O-SUBSTITUTION
• Probabilistic Weighted Automata
• Quantitative Languages
• Weak Second‐Order Arithmetic and Finite Automata
• Weighted Distributed Systems and Their Logics
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Weighted Logics for Traces
• Weighted Muller tree automata and weighted logics
• Weighted Timed MSO Logics
• Weighted automata and weighted logics
• Weighted automata and weighted logics with discounting
• Weighted finite automata over strong bimonoids
• Weighted logics for unranked tree automata
• Weighted picture automata and weighted logics
• Weighted tree automata and weighted logics
• Weighted versus Probabilistic Logics

Cited in

(41)

• Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics
• Characterizing weighted MSO for trees by branching transitive closure logics
• scientific article; zbMATH DE number 7561720 (Why is no real title available?)
• Weighted LTL with discounting
• Multi-valued automata and their applications
• scientific article; zbMATH DE number 7644294 (Why is no real title available?)
• Weighted automata and weighted MSO logics for average and long-time behaviors
• Weighted linear dynamic logic
• Linear weighted tree automata with storage and inverse linear tree homomorphisms
• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• McCarthy-Kleene fuzzy automata and MSO logics
• Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
• Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
• Lattice Automata
• Weighted nested word automata and logics over strong bimonoids
• Weighted nested word automata and logics over strong bimonoids
• Model checking computation tree logic over finite lattices
• Parameterized model checking of weighted networks
• On high-quality synthesis
• Linear-time logics -- a coalgebraic perspective
• Finite automata with membership values in lattices and monadic second-order lattice-valued logic
• A Nivat theorem for weighted picture automata and weighted MSO logic
• Adding pebbles to weighted automata: easy specification \& efficient evaluation
• TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
• A translation of weighted LTL formulas to weighted Büchi automata over \(\omega\)-valuation monoids
• The complexity of computing the behaviour of lattice automata on infinite trees
• The Chomsky-Schützenberger theorem for quantitative context-free languages
• A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties
• Model checking of linear-time properties in multi-valued systems
• On weighted first-order logics with discounting
• Weighted operator precedence languages
• A Nivat theorem for weighted picture automata and weighted MSO logics
• The relationships among several forms of weighted finite automata over strong bimonoids
• Weighted register automata and weighted logic on data words
• Model checking fuzzy computation tree logic
• A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices
• Weighted Linear Dynamic Logic
• Local finiteness in t-norm bimonoids: overlap cases
• Weighted automata
• Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata

This page was built for publication: Weighted automata and multi-valued logics over arbitrary bounded lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764336)