|
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2010, Number 1, Pages 34–58
(Mi ivm6551)
|
|
|
|
This article is cited in 4 scientific papers (total in 4 papers)
Weighted automata and weighted logic on infinite words
M. Drostea, G. Rahonisb a 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.
Received: 20.03.2007
Citation:
M. Droste, G. Rahonis, “Weighted automata and weighted logic on infinite words”, Izv. Vyssh. Uchebn. Zaved. Mat., 2010, no. 1, 34–58; Russian Math. (Iz. VUZ), 54:1 (2010), 26–45
Linking options:
https://www.mathnet.ru/eng/ivm6551 https://www.mathnet.ru/eng/ivm/y2010/i1/p34
|
Statistics & downloads: |
Abstract page: | 954 | Full-text PDF : | 104 | References: | 46 | First page: | 8 |
|