Documentation
type FinalStates = [State]Source
type FirstState = IntSource
type TTransitions a = [(Relation a, State)]Source
type TTransitionTable a = [(State, [(Relation a, State)])]Source
type InitialStates = [State]Source
class TransducerFunctions f whereSource
states :: f a -> [State]Source
isFinal :: f a -> State -> BoolSource
initials :: f a -> InitialStatesSource
finals :: f a -> FinalStatesSource
transitionTable :: f a -> TTransitionTable aSource
transitionList :: f a -> State -> TTransitions aSource
transitionsU :: Eq a => f a -> (State, Symbol a) -> [(Symbol a, State)]Source
transitionsD :: Eq a => f a -> (State, Symbol a) -> [(Symbol a, State)]Source
firstState :: f a -> StateSource