A Nivat theorem for weighted picture automata and weighted MSO logics

DOI10.1016/j.jcss.2017.02.009zbMath1423.68242OpenAlexW2595022144MaRDI QIDQ2424674

Parvaneh Babari, Manfred Droste

Publication date: 25 June 2019

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2017.02.009

zbMATH Keywords

average behaviorpicture seriesNivat's theoremweighted logicpicture valuation monoidsweighted two-dimensional on-line tessellation automata

Mathematics Subject Classification ID

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

Related Items (3)

Special issue: Selected papers of the 9th international conference on language and automata theory and applications, LATA 2015 ⋮ Weighted three directions OTA and weighted hexapolic picture automata ⋮ Weighted automata

Cites Work

• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Characterizations of recognizable picture series
• Syntactic methods in pattern recognition
• Transductions des langages de Chomsky
• Some properties of two-dimensional on-line tessellation acceptors
• Complexity of two-dimensional patterns
• Recognizable picture languages and domino tiling
• Monadic second-order logic over rectangular pictures and recognizability by tiling systems
• Weighted automata and weighted MSO logics for average and long-time behaviors
• Weighted automata and weighted logics
• Weighted picture automata and weighted logics
• A survey of two-dimensional automata theory
• Expressiveness and Closure Properties for Quantitative Languages
• Quantitative languages
• Alternating Weighted Automata
• Probabilistic Weighted Automata
• Unambiguous recognizable two-dimensional languages
• Weighted versus Probabilistic Logics
• Star-free picture expressions are strictly weaker than first-order logic
• A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic
• Formal Models, Languages and Applications
• Weighted Picture Automata and Weighted Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Nivat theorem for weighted picture automata and weighted MSO logics