fst-0.9.0.1: Finite state transducers
FST.LBFA
module FST.Automaton
data LBFA a Source
Instances
initial :: LBFA a -> StateSource
compileToLBFA :: Ord a => Reg a -> Sigma a -> State -> LBFA aSource
compileToAutomaton :: Ord a => Reg a -> Sigma a -> State -> Automaton aSource