FST.LBFA

Documentation

module FST.Automaton

data LBFA a

Instances

AutomatonFunctions LBFA

Convertable LBFA

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

initial :: LBFA a -> State

compileToLBFA :: Ord a => Reg a -> Sigma a -> State -> LBFA a

compileToAutomaton :: Ord a => Reg a -> Sigma a -> State -> Automaton a