nfa_intersection (235B)
1 # NFA intersection 2 3 Can be done with the [product_construction] 4 5 See [chistikov2026intersecting] for a more efficient algorithm in terms of the number of [transitions] 6 - works via [perfect_shuffle] 7 8 Up: [automaton_intersection], [NFA]