Spelling suggestions: "subject:"limonoids."" "subject:"bimonoid.""
1 |
Weighted Finite Automata over Strong BimonoidsDroste, Manfred, Stüber, Torsten, Vogler, Heiko 13 December 2018 (has links)
We investigate weighted finite automata over strings and strong bimonoids. Such algebraic structures satisfy the same laws as semirings except that no distributivity laws need to hold. We define two different behaviors and prove precise characterizations for them if the underlying strong bimonoid satisfies local finiteness conditions. Moreover, we show that in this case the given weighted automata can be determinized.
|
Page generated in 0.1804 seconds