module HW22b where
import DFA

-- Given a character x and a DFA M, construct a DFA for the language x\L(M)

transform :: Char x -> DFA st -> DFA ... -- specify the type of states of the output DFA
transform x (qs,sigma,delta,s,inF) = 
  ... -- give a DFA for the langauge (x\L(M))