wiki_research

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

automaton_intersection (339B)

      1 # Automaton intersection
      2 
      3 can be done with [product_construction]
      4 
      5 [computational_complexity] bounds on [automaton_emptiness] of intersection of constant number of [DFAs]: [oliveira2018intersection]
      6 - connections to [3SUM] and [triangle_detection]
      7 
      8 Up: [automaton_constructions], [intersection]
      9 
     10 See also: [regular_expression_conjunction]