module HW23c where
import DFA

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

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