FST.Transducer

Transducers and their functions

Documentation

module FST.TransducerTypes

Types

data Transducer a

Data type for a transducer

Instances

TransducerFunctions Transducer

Read a => Read (Transducer a)

Show a => Show (Transducer a)

class TConvertable f where

Type class TConvertable

Methods

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

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

Instances

TConvertable LBFT

Transducer construction

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

Construct a transducer

Actions on transducers

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

Convert transducer labelled with something other than states to a Transducer

initial :: Transducer a -> StateTy

Initial state

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

Get transition as a list of states

nullFirstState :: Transducer a -> Transducer a

Set first state to null

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

Product of two transducers

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

Union of two transducers

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

Kleene star of two transducers

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

Compose two transducers

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

Show a transducer