A Kleene theorem for weighted ω-pushdown automata

  • Manfred Droste
  • Werner Kuich

Abstract

Weighted ω-pushdown automata were introduced as generalization of the classical pushdown automata accepting infinite words by Büchi acceptance. The main result in the proof of the Kleene Theorem is the construction of a weighted ω-pushdown automaton for the ω-algebraic closure of subsets of a continuous star-omega semiring.
Published
2017-01-01
How to Cite
Droste, M., & Kuich, W. (2017). A Kleene theorem for weighted ω-pushdown automata. Acta Cybernetica, 23(1), 43-59. https://doi.org/10.14232/actacyb.23.1.2017.4
Section
Regular articles