module HW51 where
import CTS

-- Circular DFAs with states of type st:
type CDFA st = ([st],[Char],st->Char->st,st,st,st)

-- Complete the definition of the transition system by filling the ...
ctsCDFA :: (Eq st) => CDFA st -> CTS (...) Bool
ctsCDFA (qs,alpha,delta,s,a,r) = (initConf, transRel, isHalting, outFun)
  where initConf w = ...
        transRel c = ...
        isHalting c = ...
        outFun c = ...