Safe Haskell | Safe-Inferred |
---|

Left-biased finite transducers

- module FST.Transducer
- data LBFT a = LBFT {}
- compileToLBFT :: Ord a => RReg a -> Sigma a -> LBFT a
- compileToTransducer :: Ord a => RReg a -> Sigma a -> Transducer a

# Documentation

module FST.Transducer

# Types

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

TransducerFunctions LBFT | LBFT functions |

TConvertable LBFT | |

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

# Compile functions

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

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