2 citations · 7 across the 7 of their papers we have counts for
7 papers
Greibach Normal Form for -Algebraic Systems and Weighted Simple -Pushdown Automata
Manfred Droste, Sven Dziadek, Werner Kuich
In weighted automata theory, many classical results on formal languages have been extended into a quantitative setting. Here, we investigate weighted context-free languages of infi…
The Triple-Pair Construction for Weighted -Pushdown Automata
Manfred Droste, Zoltán Ésik, Werner Kuich
Let S be a complete star-omega semiring and Sigma be an alphabet. For a weighted omega-pushdown automaton P with stateset 1...n, n greater or equal to 1, we show that there exists…
Weighted omega-Restricted One Counter Automata
Manfred Droste, Werner Kuich
Let be a complete star-omega semiring and be an alphabet. For a weighted -restricted one-counter automaton with set of states , …
Conway and iteration hemirings
M. Droste, Z. Esik, W. Kuich
Conway hemirings are Conway semirings without a multiplicative unit. We also define iteration hemirings as Conway hemirings satisfying certain identities associated with the finite…
Free inductive K-semialgebras
Zoltan Esik, Werner Kuich
We consider rational power series over an alphabet with coefficients in a ordered commutative semiring and characterize them as the free ordered -semialgebras in various…
Free iterative and iteration K-semialgebras
Zoltan Esik, Werner Kuich
We consider algebras of rational power series over an alphabet with coefficients in a commutative semiring and characterize them as the free algebras in various classes of…