- type State = Int
- type FirstState = Int
- type LastState = Int
- type InitialStates = [State]
- type FinalStates = [State]
- type Transitions a = [(a, State)]
- type TransitionTable a = [(State, Transitions a)]
- type Sigma a = [a]
- class AutomatonFunctions f where
- states :: f a -> [State]
- isFinal :: f a -> State -> Bool
- finals :: f a -> FinalStates
- initials :: f a -> InitialStates
- transitionList :: f a -> State -> Transitions a
- transitionTable :: f a -> TransitionTable a
- transitions :: Eq a => f a -> (State, a) -> [State]
- firstState :: Eq a => f a -> State
- lastState :: Eq a => f a -> State
- alphabet :: f a -> Sigma a

# Documentation

type FirstState = IntSource

type InitialStates = [State]Source

type FinalStates = [State]Source

type Transitions a = [(a, State)]Source

type TransitionTable a = [(State, Transitions a)]Source

class AutomatonFunctions f whereSource

Class of AutomatonFunctions

states :: f a -> [State]Source

isFinal :: f a -> State -> BoolSource

finals :: f a -> FinalStatesSource

initials :: f a -> InitialStatesSource

transitionList :: f a -> State -> Transitions aSource

transitionTable :: f a -> TransitionTable aSource

transitions :: Eq a => f a -> (State, a) -> [State]Source

firstState :: Eq a => f a -> StateSource

AutomatonFunctions Automaton | Instance of AutomatonFunctions |

AutomatonFunctions LBFA |