Weighted Automata and Weighted Logics

DOI10.1007/978-3-642-01492-5_5zbMath1484.68081OpenAlexW3041049778MaRDI QIDQ5072547

Paul Gastin, Manfred Droste

Publication date: 28 April 2022

Published in: Monographs in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.7637

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other nonclassical logic (03B60) Automata and formal grammars in connection with logical questions (03D05)

Related Items (7)

Alternating weighted automata over commutative semirings ⋮ Typed Linear Algebra for Weigthed (Probabilistic) Automata ⋮ Rational elements of summation semirings ⋮ A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings ⋮ Weighted Linear Dynamic Logic ⋮ Unnamed Item ⋮ Characterizing weighted MSO for trees by branching transitive closure logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Skew and infinitary formal power series
• Weighted tree automata and weighted logics
• On aperiodic and star-free formal power series in partially commuting variables
• Model theory.
• On transformations of formal power series.
• The design principles of a weighted finite-state transducer library
• Weighted automata and weighted logics
• On iteration semiring-semimodule pairs.
• On the Determinization of Weighted Finite Automata
• Weak Second‐Order Arithmetic and Finite Automata
• On the definition of a family of automata
• Weighted Logics for Traces
• Weighted Automata and Weighted Logics with Discounting
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Decision Problems of Finite Automata Design and Related Arithmetics
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• Semirings and Formal Power Series
• Rational and Recognisable Power Series
• Applications of Weighted Automata in Natural Language Processing
• On finite monoids having only trivial subgroups
• Definable Transductions and Weighted Logics for Texts
• Weighted Distributed Systems and Their Logics
• Automata, Languages and Programming
• Automata theory and its applications

This page was built for publication: Weighted Automata and Weighted Logics