Weighted automata and weighted logics on infinite words

DOI10.3103/S1066369X10010044zbMath1184.68314MaRDI QIDQ845080

Manfred Droste, George Rahonis

Publication date: 5 February 2010

Published in: Russian Mathematics (Search for Journal in Brave)

zbMATH Keywords

weighted logicsinfinitary formal power seriesweighted Büchi automataweighted Muller automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Weighted automata and weighted MSO logics for average and long-time behaviors ⋮ Unnamed Item

Cites Work

• 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
• The design principles of a weighted finite-state transducer library
• Fuzzy \(\omega\)-automata
• Weighted automata and weighted logics
• Infinite fuzzy computations
• On iteration semiring-semimodule pairs.
• Fuzzy regular languages over finite and infinite words
• Weak Second‐Order Arithmetic and Finite Automata
• On the definition of a family of automata
• Weighted Logics for Traces
• Weighted Automata and Weighted Logics on Infinite Words
• Decision Problems of Finite Automata Design and Related Arithmetics
• Finite Automata Computing Real Functions
• ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS

This page was built for publication: Weighted automata and weighted logics on infinite words