Documentation

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 t1, Eq t2) => t2 -> t1 -> [(t2, [[t]])] -> [t1] -> [t] Source #

stsDfa :: [(b1, b)] -> [b1] 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 #