FST.LBFA

Left-biased finite automata

Documentation

module FST.Automaton

Types

data LBFA a

Data type for LBFA (left-biased finite automata)

Instances

AutomatonFunctions LBFA

Convertable LBFA

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

Functions on LBFA

initial :: LBFA a -> StateTy

Get the initial state of a LBFA

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

Compile a regular expression to a LBFA

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

Compile a regular expression to an minimal, useful and deterministic automaton, using the LBFA algorithm while building.