TY - JOUR
AU - Manfred Droste
AU - Werner Kuich
PY - 2017/01/01
Y2 - 2020/08/04
TI - A Kleene theorem for weighted ω-pushdown automata
JF - Acta Cybernetica
JA - Acta Cybern
VL - 23
IS - 1
SE - Regular articles
DO - 10.14232/actacyb.23.1.2017.4
UR - https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3914
AB - 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.
ER -