automata_weighted (364B)
1 # Automata weighted 2 3 [automata] with [weight]s on [transition]s and on [final_state]s 4 5 associates each [word] to an [integer] 6 7 given a [word]: 8 - [sum] over possible [run]s 9 - [product] over [transition]s and [final_state]s used 10 11 can be done in [semiring] 12 13 Up: [automata] 14 15 See also: [weighted_mso] 16 17 Aliases: weighted automaton, weighted automata, automaton_weighted