wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

automata_weighted (872B)

      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 [runs]
     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 [schutzenberger1961definition]
     18 
     19 - [automata_weighted_conjugacy]
     20 
     21 - [automata_min_plus]
     22 - [automata_weighted_equivalence]
     23 
     24 [amarilli2024ranked]
     25 
     26 [weighted_extended_VAs]
     27 - probably [doleschal2022weight]
     28 
     29 [complex_events]
     30 
     31 [complex_event_automata]
     32 
     33 can create new events, registers...
     34 
     35 Up: [automata]
     36 
     37 See also: [weighted_mso]
     38 
     39 Aliases: weighted automaton, weighted automata, automaton_weighted