3 papers
cs.FL2026
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…
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…
math.RA2013
Lattice induced threshold functions and Boolean functions
Eszter K. Horváth, Branimir Seselja, Andreja Tepavcevic
Lattice induced threshold function is a Boolean function determined by a particular linear combination of lattice elements. We prove that every isotone Boolean function is a lattic…