Jul 17, 2020 · We use the Greibach normal form in our second main result to prove that simple \omega-reset pushdown automata recognize all \omega-algebraic series.

The goal of this paper is the investigation of weighted context-free languages and weighted pushdown automata on infinite words. As in [19], the weighted ...

Abstract. In weighted automata theory, many classical results on formal languages have been extended into a quantitative setting.

Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata. In Foundations of Software Technology and Theoretical Computer Science ...

The goal of this paper is the investigation of weighted context-free languages and weighted pushdown automata on infinite words.

Let A be a continuous commutative star-omega semiring. Let u be an ω-algebraic series over A. Then there exists a weighted simple ω-pushdown automaton with ...

This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications.

Dec 4, 2019 · Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata. Authors Manfred Droste, Sven Dziadek, Werner ...

We use the Greibach normal form in our second main result to prove that simple $\omega$-reset pushdown automata recognize all $\omega$-algebraic series. Simple ...

May 1, 2022 · We use the Greibach normal form in our second main result to prove that simple ω-reset pushdown automata recognize all ω-algebraic series.