Weighted picture automata and weighted logics

DOI10.1007/s00224-009-9225-3zbMath1229.03035OpenAlexW1994146759MaRDI QIDQ2429722

Ina Fichtner

Publication date: 1 April 2011

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-009-9225-3

zbMATH Keywords

undecidabilitymonadic second-order logicweighted automatatwo-dimensional languagesweighted logicspicture seriestessellation automatapicture 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)

Related Items (15)

Weighted automata and weighted logics with discounting ⋮ Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics ⋮ A Nivat theorem for weighted picture automata and weighted MSO logics ⋮ Recognizable series on graphs and hypergraphs ⋮ Weighted three directions OTA and weighted hexapolic picture automata ⋮ Weighted logics for unranked tree automata ⋮ A Büchi-like theorem for weighted tree automata over multioperator monoids ⋮ Pebble Weighted Automata and Weighted Logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic ⋮ Weighted Automata and Logics on Infinite Graphs ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ Weighted automata ⋮ Monitor Logics for Quantitative Monitor Automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weighted tree automata and weighted logics
• Characterizations of recognizable picture series
• Syntactic methods in pattern recognition
• Some properties of two-dimensional on-line tessellation acceptors
• Complexity of two-dimensional patterns
• A characterization of recognizable picture languages by tilings by finite sets
• Recognizable picture languages and domino tiling
• Monadic second-order logic over rectangular pictures and recognizability by tiling systems
• Weighted automata and weighted logics
• Tile rewriting grammars and picture languages
• Collage of two-dimensional words
• A survey of two-dimensional automata theory
• Unambiguous recognizable two-dimensional languages
• Weighted Logics for Traces
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Weighted Automata and Weighted Logics on Infinite Words
• Star-free picture expressions are strictly weaker than first-order logic
• Definable Transductions and Weighted Logics for Texts
• Weighted Picture Automata and Weighted Logics
• Automata, Languages and Programming
• A variant of a recursively unsolvable problem

This page was built for publication: Weighted picture automata and weighted logics