- 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
- initial :: Automaton a -> State
- showAutomaton :: Show a => Automaton a -> String
- module FST.RegTypes
- module FST.AutomatonTypes
- numberOfStates :: Ord a => Automaton a -> Int
- numberOfTransitions :: Ord a => Automaton a -> Int
Documentation
determinize :: Ord a => Automaton a -> Automaton aSource
showAutomaton :: Show a => Automaton a -> StringSource
Display the automaton
module FST.RegTypes
module FST.AutomatonTypes
numberOfStates :: Ord a => Automaton a -> IntSource
numberOfTransitions :: Ord a => Automaton a -> IntSource