https://9dok.org/document/zlge62v2-a-kleene-theorem-for-weighted-ω-pushdown-automata.html