wiki_research

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

spanner_regular (242B)

      1 # Spanner regular
      2 
      3 two equivalent definitions ([peterfreund2019complexityb] section 2.4):
      4 - with [variable_set_automaton]
      5 - with [regex_formula]s extended with [union], [projection], and [join]
      6   - optionally with [difference]
      7 
      8 Up: [spanner]