FST.TransducerInterface

Documentation

compile :: Ord a => RReg a -> Sigma a -> Transducer a

compileN :: Ord a => RReg a -> Sigma a -> Transducer a

minimize :: Ord a => Transducer a -> Transducer a

determinize :: Ord a => Transducer a -> Transducer a

data Transducer a

Instances

TransducerFunctions Transducer

Read a => Read (Transducer a)

Show a => Show (Transducer a)

transitions :: Eq a => Transducer a -> (State, Relation a) -> [State]

showTransducer :: Show a => Transducer a -> String

module FST.RRegTypes

module FST.TransducerTypes

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

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

applyUp :: Eq a => Transducer a -> [a] -> Maybe [[a]]

applyDown :: Eq a => Transducer a -> [a] -> Maybe [[a]]

load :: FilePath -> IO (Either String (Transducer String))

save :: FilePath -> Transducer String -> IO (Either String ())

emptyTransducer :: Ord a => Transducer a

parseProgram :: String -> Either String (RReg String)

parseExp :: String -> Either String (RReg String)

unionT :: Eq a => Transducer a -> Transducer a -> Transducer a

productT :: Eq a => Transducer a -> Transducer a -> Transducer a

starT :: Eq a => Transducer a -> Transducer a

compositionT :: Eq a => Transducer a -> Transducer a -> Transducer a