HaLeX-1.1: HaLeX enables modelling, manipulation and animation of regular languages Source code Contents Index

Language.HaLex.FaOperations

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

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

Produced by Haddock version 2.3.0