This article is cited in 4 papers

Weighted automata and weighted logic on infinite words

M. Droste^a, G. Rahonis<sup>b

a</sup> Institute for Computer Science, Leipzig University, Leipzig, Germany
^b Department of Mathematics, Aristotle University of Thessaloniki, Thessaloniki, Greece

Abstract: We introduce weighted automata over infinite words with Muller acceptance condition and we show that their behaviors coincide with the semantics of weighted restricted MSO-sentences. Furthermore, we establish an equivalence property of weighted Muller and weighted Büchi automata over certain semirings.

Keywords: weighted logic, weighted Muller automata, infinitary formal power series, weighted Büchi automata.

UDC: 519.766+519.713

Received: 20.03.2007

 English version: Russian Mathematics (Izvestiya VUZ. Matematika), 2010, 54:1, 26–45

Bibliographic databases:

• 
• 
•