module HW43 (diffFST) where
import DFA
import FST

-- | diffFST fst1 fst2: outputs a DFA that accepts all inputs w such that
--   fst1(w) =/= fst2(w)
diffFST :: FST st1 -> FST st2 -> DFA ... -- choose the type of the DFA states
diffFST (qs1, sigma1, gamma1, delta1, s1) (qs2, sigma2, gamma2, delta2, s2)
        | sigma1 == sigma2, gamma1 == gamma2 = 
    (qs, sigma1, delta, s, inF) where
    -- specify the components of the DFA