automata_weighted (645B)
1 # Automata weighted 2 3 [automata] with [weights] on [transitions] and on [final_states] and on [initial_states] 4 5 associates each [word] to an [integer], or to a value in a [semiring] 6 7 - [initial_weight] 8 - [final_weight] 9 - weight for every [transition] 10 11 given a [word]: 12 - [sum] over possible [run]s 13 - [product] over [transitions] and [final_states] used 14 15 Can be seen as multiplying [matrices] (one [matrix] for each letter), with a [vector] of [initial_weights] and [final_weights] 16 17 Schützenberger, 1961 18 19 - [automata_weighted_conjugacy] 20 21 Up: [automata] 22 23 See also: [weighted_mso] 24 25 Aliases: weighted automaton, weighted automata, automaton_weighted