Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Skew and Infinitary Formal Power Series

Manfred DrosteContact Information and Dietrich KuskeContact Information

(5)  Institut für Algebra, Technische Universität Dresden, D-01062 Dresden, Germany
Abstract
We investigate finite-state systems with costs. Departing from classical theory, in this paper the cost of an action does not only depend on the state of the system, but also on the time when it is executed. We first characterize the terminating behaviors of such systems in terms of rational formal power series. This generalizes a classical result of Schützenberger.
Using the previous results, we also deal with nonterminating behaviors and their costs. This includes an extension of the Büchi-acceptance condition from finite automata to weighted automata and provides a characterization of these nonterminating behaviors in terms of ω-rational formal power series. This generalizes a classical theorem of Büchi.
This work was done while the second author worked at the Universityof Leicester.

Contact Information Manfred Droste
Email: droste@math.tu-dresden.de

Contact Information Dietrich Kuske
Email: kuske@math.tu-dresden.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: mpweb18
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)