module HW23b where
import DFA (DFA)
import HW23a (DFA2)

-- Convert a DFA to an equivalent DFA2
fromDFA :: DFA st -> DFA2 ...        -- specify the type of states of the output DFA2
fromDFA (qs,sigma,delta,s,inF) = ... -- give a DFA2 equivalent to the input DFA

-- Convert a DFA2 into an equivalent DFA
toDFA :: DFA2 st -> DFA ...        -- specify the type of states of the output DFA
toDFA (qs,sigma,delta,s,inF) = ... -- give a DFA equivalent to the input DFA2