module Transform where
import DFA

transform :: Char -> DFA st -> DFA ...