10 citations · 47 across the 15 of their papers we have counts for
17 papers
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
Manfred Droste, Zoltán Fülöp, Dávid Kószó +1
We consider weighted tree automata over strong bimonoids (for short: wta). A wta has the finite-image property if its recognized weighted tree language $[\![\mathcal{…
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…
Aperiodic Weighted Automata and Weighted First-Order Logic
Manfred Droste, Paul Gastin
By fundamental results of Schützenberger, McNaughton and Papert from the 1970s, the classes of first-order definable and aperiodic languages coincide. Here, we extend this equivale…
MK-fuzzy Automata and MSO Logics
Manfred Droste, Temur Kutsia, George Rahonis +1
We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, prac…
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 Operator Precedence Languages
Manfred Droste, Stefan Dück, Dino Mandrioli +1
In the last years renewed investigation of operator precedence languages (OPL) led to discover important properties thereof: OPL are closed with respect to all major operations, ar…