MathematicsComputer Science

Weighted automata and weighted logics on infinite words

M. Droste, George Rahonis

2006.6.26Russian Mathematics

DOI: 10.1007/11779148_6

tlooto Summary

It is shown that their behaviors coincide with the semantics of weighted restricted MSO-sentences and an equivalence property of weighted Muller and weighted Büchi automata over certain semirings is established.

Abstract

Abstract is not available.

Citation format

DROSTE, M.; RAHONIS, George. Weighted automata and weighted logics on infinite words. Russian Mathematics, 2006, 54: 26–45.