Math.Model.Automaton.Finite

Deterministic

Function

Recognizer

type Delta a

liftD

Transducer

type Lambda1 a

liftL1

type Lambda2 a

liftL2

Constructor

data FiniteA a

data Transductor a

Function

checkString

translate

Not deterministic

Function

type DeltaN a

liftDN

Constructor

data FiniteAN a

checkStringN