Documentation
minimize :: Ord a => Transducer a -> Transducer aSource
determinize :: Ord a => Transducer a -> Transducer aSource
data Transducer a Source
TransducerFunctions Transducer | |
Read a => Read (Transducer a) | |
Show a => Show (Transducer a) |
transitions :: Eq a => Transducer a -> (State, Relation a) -> [State]Source
showTransducer :: Show a => Transducer a -> StringSource
module FST.RRegTypes
module FST.TransducerTypes
numberOfStates :: Ord a => Transducer a -> IntSource
numberOfTransitions :: Ord a => Transducer a -> IntSource
applyUp :: Eq a => Transducer a -> [a] -> Maybe [[a]]Source
applyDown :: Eq a => Transducer a -> [a] -> Maybe [[a]]Source
emptyTransducer :: Ord a => Transducer aSource
unionT :: Eq a => Transducer a -> Transducer a -> Transducer aSource
productT :: Eq a => Transducer a -> Transducer a -> Transducer aSource
starT :: Eq a => Transducer a -> Transducer aSource
compositionT :: Eq a => Transducer a -> Transducer a -> Transducer aSource