fst-0.9.0.1: Finite state transducers

FST.Transducer

Documentation

module FST.TransducerTypes

data Transducer a Source

Instances

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

Methods

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

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

Instances

TConvertable LBFT

rename :: Eq b => [(b, [(Relation a, b)])] -> Sigma a -> [b] -> [b] -> State -> Transducer aSource

initial :: Transducer a -> State Source

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 -> String Source