 | UMinho Haskell Libraries (1.0) | Contents | Index |
| Language.HaLex.FaOperations |
| ndfa2dfa :: (Ord st, Eq sy) => Ndfa st sy -> Dfa [st] sy |
| dfa2ndfa :: Dfa st sy -> Ndfa st sy |
| ndfa2ct :: Ord st => Ndfa st sy -> CT st |
| type CT st = [(StDfa st, [StDfa st])] |
| concatNdfa :: (Eq a, Eq b) => Ndfa b a -> Ndfa b a -> Ndfa b a |
| unionNdfa :: (Eq a, Eq b) => Ndfa b a -> Ndfa b a -> Ndfa b a |
| starNdfa :: Eq st => Ndfa st sy -> Ndfa st sy |
| plusNdfa :: Eq st => Ndfa st sy -> Ndfa st sy |
| expNdfa :: (Eq st, Eq sy) => Ndfa st sy -> Int -> Ndfa Int sy |
| unionDfa :: (Eq a, Eq b) => Dfa b a -> Dfa b a -> Ndfa b a |
| concatDfa :: (Eq a, Eq b) => Dfa b a -> Dfa b a -> Ndfa b a |
| starDfa :: Eq st => Dfa st sy -> Ndfa st sy |
| plusDfa :: Eq st => Dfa st sy -> Ndfa st sy |