Intersection for DFA implemented