module DFAintersect where
import DFA

intersectDFA :: DFA st1 -> DFA st2 -> DFA (st1,st2)
intersectDFA (qs1, sigma, delta1, q1, inF1) (qs2, sigma2, delta2, q2, inF2) | sigma2 == sigma =