automaton_intersection (229B)
1 # Automaton intersection 2 3 can be done with [product_construction] 4 5 - [DFA_intersection] 6 - [NFA_intersection] 7 8 Up: [automaton_constructions], [language_intersection] 9 10 See also: [regular_expression_conjunction], [CFG_intersection]