FST.Transducer

Contents

• Types
• Transducer construction
• Actions on transducers

Description

Synopsis

• module FST.TransducerTypes
• data Transducer a
• class TConvertable f where
  • encode :: Eq a => f a -> Transducer a
  • decode :: Eq a => Transducer a -> f a
• construct :: (StateTy, StateTy) -> TTransitionTable a -> Sigma a -> InitialStates -> FinalStates -> Transducer a
• rename :: Eq b => [(b, [(Relation a, b)])] -> Sigma a -> [b] -> [b] -> StateTy -> Transducer a
• initial :: Transducer a -> StateTy
• transitions :: Eq a => Transducer a -> (StateTy, Relation a) -> [StateTy]
• nullFirstState :: Transducer a -> Transducer a
• productT :: Eq a => Transducer a -> Transducer a -> Transducer a
• unionT :: Eq a => Transducer a -> Transducer a -> Transducer a
• starT :: Eq a => Transducer a -> Transducer a
• compositionT :: Eq a => Transducer a -> Transducer a -> Transducer a
• showTransducer :: Show a => Transducer a -> String

Documentation

Types

Transducer construction

Actions on transducers