module HW3p5 where

import FST

composeFstDfa :: FST st1 -> DFA st2 -> DFA ...
composeFstDfa (qs1, sigma, gamma, delta1,s1) 
              (qs2, gamma2, delta2, s2, inF2) | gamma2 == gamma = 
  let ...
  in (qs, sigma, delta, s, inF)