FST.Automaton

Documentation

module FST.AutomatonTypes

data Automaton a

Instances

AutomatonFunctions Automaton

Instance of AutomatonFunctions

Read a => Read (Automaton a)

Show a => Show (Automaton a)

construct :: (FirstState, LastState) -> TransitionTable a -> Sigma a -> InitialStates -> FinalStates -> Automaton a

Construct an automaton

class Convertable f where

Type class Convertable

Methods

encode :: Eq a => f a -> Automaton a

decode :: Eq a => Automaton a -> f a

Instances

Convertable LBFA

rename :: Eq b => [(b, [(a, b)])] -> Sigma a -> [b] -> [b] -> State -> Automaton a

Convert automaton labelled with something other than states to an Automaton.

showAutomaton :: Show a => Automaton a -> String

Display the automaton