5 papers
The Value Generating Power of Weighted Tree Automata with Initial Algebra Semantics
Manfred Droste, Zoltán Fülöp, Andreja Tepavčević +1
We consider the generating power of the initial algebra semantics of weighted tree automata over strong bimonoids (hence also over semirings) and the question under which condition…
Weighted Automata and Regular Expressions for Financial Systems
Manfred Droste, Vitaly Nürnberg
We introduce weighted finite finance automata (WFFA), a formal framework for modeling and analyzing quantitative properties of financial systems driven by uncertain economic variab…
Free polynomial strong bimonoids
Manfred Droste, Zoltán Fülöp
Recently, in weighted automata theory the weight structure of strong bimonoids has found much interest; they form a generalization of semirings and are closely related to near-semi…
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…
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…