# 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