wiki_research

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

variable_set_automaton (599B)

      1 # Variable set automaton
      2 
      3 Like an [automaton] but with [capture_variables], specifically, [transitions] labeled with [variable_markers] to indicate that a variable is opened or closed.
      4 
      5 We only consider the [runs] where the markers are assigned correctly:
      6 - every [variable] is opened exactly once and then closed exactly once
      7 
      8 However, but we do not require markers to be [well_nested], unlike [regex_formulas] where this is required.
      9 
     10 [spanners_incomplete]
     11 
     12 Up: [spanner]
     13 
     14 See also: [capture_variable], [transducer]
     15 
     16 Aliases: spanner automaton, spanner automata, VA, vset automaton, vset automata