module HW32b where
import DFA

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

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