Weighted nested word automata and logics over strong bimonoids

DOI10.1142/S0129054114500269MaRDI QIDQ2929640zbMATH OpenFDO

Authors Bundit Pibaljommee, Manfred Droste

Publication date 14 November 2014

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

formal power seriesmonadic second-order logicweighted automatanested wordsweighted logicsbimonoidsnested automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)

Recommendations

• Weighted nested word automata and logics over strong bimonoids
• Weighted finite automata over strong bimonoids
• scientific article; zbMATH DE number 6124028
• Determinization of weighted finite automata over strong bimonoids
• The relationships among several forms of weighted finite automata over strong bimonoids
• Automata, Languages and Programming
• Weighted automata and weighted logics
• Weighted automata and weighted logics

Cites work

• A theory of computation based on quantum logic. I
• 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
• Determinization of weighted finite automata over strong bimonoids
• Minimization algorithms for sequential transducers
• On the definition of a family of automata
• The logic of quantum mechanics
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted automata and weighted logics
• Weighted finite automata over strong bimonoids
• Weighted logics for nested words and algebraic formal power series

Cited in

(10)

• Bidirectional nested weighted automata
• scientific article; zbMATH DE number 6124028 (Why is no real title available?)
• Generalizing input-driven languages: theoretical and practical benefits
• Weighted specifications over nested words
• Weighted logics for nested words and algebraic formal power series
• Weighted operator precedence languages
• Weighted nested word automata and logics over strong bimonoids
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Weighted operator precedence languages
• A Nivat theorem for weighted picture automata and weighted MSO logics

This page was built for publication: Weighted nested word automata and logics over strong bimonoids

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