FST.AutomatonInterface

Documentation

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

minimize :: Ord a => Automaton a -> Automaton a

complete :: Eq a => Automaton a -> Automaton a

determinize :: Ord a => Automaton a -> Automaton a

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

data Automaton a

Instances

AutomatonFunctions Automaton

Instance of AutomatonFunctions

Read a => Read (Automaton a)

Show a => Show (Automaton a)

initial :: Automaton a -> State

showAutomaton :: Show a => Automaton a -> String

Display the automaton

module FST.RegTypes

module FST.AutomatonTypes

numberOfStates :: Ord a => Automaton a -> Int

numberOfTransitions :: Ord a => Automaton a -> Int