FST.Automaton

Finite state automatons

Documentation

module FST.AutomatonTypes

Types

data Automaton a

Data type for an automaton

Instances

AutomatonFunctions Automaton

Instance of AutomatonFunctions

Read a => Read (Automaton a)

Show a => Show (Automaton a)

class Convertable f where

Type class for conversion to/from an automaton

Methods

encode

Arguments

:: Eq a

=> f a

-> Automaton a

From an automaton to an structure

decode

Arguments

:: Eq a

=> Automaton a

-> f a

From a structure to an Automaton

Instances

Convertable LBFA

Automaton construction

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

Construct an automaton

Actions on automatons

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

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

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

Display the automaton