Documentation

sinal'' :: RegExp Char Source #

d :: RegExp Char Source #

re_int :: RegExp Char Source #

intdfa :: Dfa Int Char Source #

d' :: RegExp Char Source #

re_real :: RegExp Char Source #

re_real' :: RegExp Char Source #

cre_real :: [Char] Source #

realdfa' :: Dfa Int Char Source #

realdfa'' :: Dfa Int Char Source #

realdfa''' :: Dfa Int Char Source #

realdfa'''' :: Dfa Int Char Source #

genGraph :: (Eq sy, Show st, Show sy, Ord st) => Ndfa st sy -> [Char] -> [Char] -> (st -> [Char]) -> IO () Source #

realdfa :: Dfa Char Char Source #

delta_realdfa :: Char -> Char -> Char Source #

isreal :: String -> Bool Source #

realndfa :: Ndfa Char Char Source #

deltaNdfa :: Char -> Maybe Char -> [Char] Source #

isrealNdfa :: [Char] -> Bool Source #