HaLeX-1.2.2: HaLeX enables modelling, manipulation and animation of regular languages
Language.HaLex.FaOperations
ndfa2dfa :: (Ord st, Eq sy) => Ndfa st sy -> Dfa [st] sy Source #
dfa2ndfa :: Dfa st sy -> Ndfa st sy Source #
ndfa2ct :: Ord st => Ndfa st sy -> CT st Source #
type CT st = [(StDfa st, [StDfa st])] Source #
lookupCT :: (Eq t2, Eq t1) => t1 -> t2 -> [(t1, [[t]])] -> [t2] -> [t] Source #
stsDfa :: [(b, b1)] -> [b] Source #
concatNdfa :: (Eq a, Eq b) => Ndfa b a -> Ndfa b a -> Ndfa b a Source #
unionNdfa :: (Eq a, Eq b) => Ndfa b a -> Ndfa b a -> Ndfa b a Source #
starNdfa :: Eq st => Ndfa st sy -> Ndfa st sy Source #
plusNdfa :: Eq st => Ndfa st sy -> Ndfa st sy Source #
expNdfa :: (Eq st, Eq sy) => Ndfa st sy -> Int -> Ndfa Int sy Source #
unionDfa :: (Eq a, Eq b) => Dfa b a -> Dfa b a -> Ndfa b a Source #
concatDfa :: (Eq a, Eq b) => Dfa b a -> Dfa b a -> Ndfa b a Source #
starDfa :: Eq st => Dfa st sy -> Ndfa st sy Source #
plusDfa :: Eq st => Dfa st sy -> Ndfa st sy Source #