Computing the intersection of two automata is an important