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

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

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

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