Data.Sigma

Alphabet and symbols of languaje

Symbols

type Symbol = Char

Symbols are character, and with Unicode CharSet we have a big amount of them.

blank :: Symbol

Blank symbol

type Wd = [Symbol]

List symbol alias, Word are defined in Prelude

Alphabets

type Alphabet = Set Symbol

An alphabet is a set of symbols

enumWord :: Alphabet -> Wd -> Integer

For every alphabet there is a function h that maps one symbol to one natural. For every h function there is a function that enumerete every words in that alphabet

closureAlph :: Alphabet -> [Wd]

Gives the Kleene Closure for all alphabets. closureAlph is a infinite list of words.

lessKWords :: Alphabet -> Integer -> [Wd]

For some alphabet S and a natural number n take all words of length n or less

kWords :: Alphabet -> Integer -> [Wd]

For some alphabet S and a natural number n take all words of length n

Orphan instances

Monoid Symbol

Symbol type are forced to be a monoid

Methods

mempty :: Symbol

mappend :: Symbol -> Symbol -> Symbol

mconcat :: [Symbol] -> Symbol