# 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