# Documentation

module FST.TransducerTypes

data Transducer a Source

TransducerFunctions Transducer | |

Read a => Read (Transducer a) | |

Show a => Show (Transducer a) |

construct :: (State, State) -> TTransitionTable a -> Sigma a -> InitialStates -> FinalStates -> Transducer aSource

class TConvertable f whereSource

encode :: Eq a => f a -> Transducer aSource

decode :: Eq a => Transducer a -> f aSource

initial :: Transducer a -> StateSource

transitions :: Eq a => Transducer a -> (State, Relation a) -> [State]Source

nullFirstState :: Transducer a -> Transducer aSource

productT :: Eq a => Transducer a -> Transducer a -> Transducer aSource

unionT :: Eq a => Transducer a -> Transducer a -> Transducer aSource

starT :: Eq a => Transducer a -> Transducer aSource

compositionT :: Eq a => Transducer a -> Transducer a -> Transducer aSource

showTransducer :: Show a => Transducer a -> StringSource