module HW52 where

import FST
import SFST

convertFST :: SFST st -> FST ... -- specify the type of states of the output FST
convertFST (qs,alphaIn,alphaOut,delta,start) =
  (qs1,alphaIn,alphaOut,delta1,start1,out1) where
    qs1 = ...
    start1 = ...
    delta1 = ...
    out1 = ...