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