HaLeX-1.1.1: HaLeX enables modelling, manipulation and animation of regular languages
Source code
Contents
Index
Language.HaLex.FaOperations
Documentation
ndfa2dfa
:: (
Ord
st,
Eq
sy) =>
Ndfa
st sy ->
Dfa
[st] sy
Source
dfa2ndfa
::
Dfa
st sy ->
Ndfa
st sy
Source
ndfa2ct
::
Ord
st =>
Ndfa
st sy ->
CT
st
Source
type
CT
st = [(StDfa st, [StDfa st])]
Source
lookupCT
:: (
Eq
a1,
Eq
a2) => a2 -> a1 -> [(a2, [[a]])] -> [a1] -> [a]
Source
stsDfa
:: [(a, b)] -> [a]
Source
concatNdfa
:: (
Eq
a,
Eq
b) =>
Ndfa
b a ->
Ndfa
b a ->
Ndfa
b a
Source
unionNdfa
:: (
Eq
a,
Eq
b) =>
Ndfa
b a ->
Ndfa
b a ->
Ndfa
b a
Source
starNdfa
::
Eq
st =>
Ndfa
st sy ->
Ndfa
st sy
Source
plusNdfa
::
Eq
st =>
Ndfa
st sy ->
Ndfa
st sy
Source
expNdfa
:: (
Eq
st,
Eq
sy) =>
Ndfa
st sy ->
Int
->
Ndfa
Int
sy
Source
unionDfa
:: (
Eq
a,
Eq
b) =>
Dfa
b a ->
Dfa
b a ->
Ndfa
b a
Source
concatDfa
:: (
Eq
a,
Eq
b) =>
Dfa
b a ->
Dfa
b a ->
Ndfa
b a
Source
starDfa
::
Eq
st =>
Dfa
st sy ->
Ndfa
st sy
Source
plusDfa
::
Eq
st =>
Dfa
st sy ->
Ndfa
st sy
Source
Produced by
Haddock
version 2.6.0