wiki_research

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

dfa_intersection (387B)

      1 # DFA intersection
      2 
      3 [computational_complexity] bounds on [automaton_emptiness] of intersection of constant number of [DFAs] (especially on [intersection_nonemptiness]): [oliveira2018intersection] and [oliveira2020fine]
      4 - connections to [3SUM] and [triangle_detection]
      5 - also [ascone2025are] on [regular_expressions] (for [intersection_nonemptiness])
      6 
      7 Up: [automaton_intersection], [DFA]