7 citations · 13 across the 11 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.FL2024
Run supports and initial algebra supports of weighted automata
Manfred Droste, Heiko Vogler
We consider weighted automata over words and over trees where the weight algebras are strong bimonoids, i.e., semirings which may lack distributivity. It is well known that, for ea…
cs.FL2024
The generating power of weighted tree automata with initial algebra semantics
Manfred Droste, Zoltán Fülöp, Andreja Tepavčević +1
We consider the images of the initial algebra semantics of weighted tree automata over strong bimonoids (hence also over semirings). These images are subsets of the carrier set of…