Weighted Automata and Weighted Logics on Infinite Words

摘要

We introduce weighted automata over infinite words with Muller acceptance conditionand we show that their behaviors coincide with the semantics of weighted restricted MS0-sentences. Furthermore, we establish an equivalence property of weighted Muller and weightedBuchi automata over certain semirings.