import Language.HaLex.Ndfa
import Language.HaLex.Dfa
import Language.HaLex.Minimize
import Language.HaLex.FaAsDiGraph

ndfa = Ndfa 
        ["init/condInit1/[5,6,7,8,9]","Cancel/cond1/[1]","Ok/cond2/[2,3]","Ok/cond3/[4]"]
        ["end","start","close","state0","state1"]
        ["start"]
        ["end","close"]
        deltaNdfa

deltaNdfa "state0" (Just "init/condInit1/[5,6,7,8,9]") = ["state1"]
deltaNdfa "state1" (Just "Cancel/cond1/[1]") = ["end"]
deltaNdfa "state1" (Just "Ok/cond2/[2,3]") = ["close"]
deltaNdfa "state1" (Just "Ok/cond3/[4]") = ["state1"]
deltaNdfa "start" Nothing = ["state0"]
deltaNdfa _ _ = []

main :: IO ()
main = (dfa2graphviz2file (minimizeNdfa ndfa) "ndfaminimizedClientDBjavaLogin")