module Transform where
import DFA
import NFA

transform :: DFA st -> DFA st -> NFA ...