FST.LBFT

Left-biased finite transducers

Documentation

module FST.Transducer

Types

data LBFT a

Data type for a LBFT (left-biased finite transducer)

Constructors

LBFT

Fields

trans :: TTransitionTable a

initS :: StateTy

finalS :: [StateTy]

alpha :: Sigma a

lastS :: StateTy

Instances

TransducerFunctions LBFT

LBFT functions

TConvertable LBFT

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

Compile functions

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

Compile a regular relation to a LBFT

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

Compile a regular relation to an minimal, useful and deterministic transducer, using the LBFT algorithm while building.