FST.LBFT

Documentation

data LBFT a

Constructors

LBFT

Fields

trans :: TTransitionTable a

initS :: State

finalS :: [State]

alpha :: Sigma a

lastS :: State

Instances

TransducerFunctions LBFT

TConvertable LBFT

(Eq a, Show a) => Show (LBFT a)

module FST.Transducer

compileToLBFT :: Ord a => RReg a -> Sigma a -> LBFT a

compileToTransducer :: Ord a => RReg a -> Sigma a -> Transducer a