@misc{indiciae78f29d61c09c, title = {Greibach Normal Form for \$ω\$-Algebraic Systems and Weighted Simple \$ω\$-Pushdown Automata}, author = {Manfred Droste and Sven Dziadek and Werner Kuich}, year = {2021}, doi = {10.1016/j.ic.2022.104871}, url = {https://arxiv.org/abs/2007.08866}, note = {Source identifier: 2007.08866} }