turingMachine-0.1.3.0: An implementation of Turing Machine and Automaton

Copyright(c) Jorge Santiago Alvarez Cuadros, 2016
LicenseGPL-3
Maintainersanjorgek@ciencias.unam.mx
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010
ExtensionsTypeSynonymInstances

Data.Sigma

Description

Alphabet and symbols of languaje

Synopsis

Documentation

type Symbol = Char Source

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

blank :: Symbol Source

Blank symbol

z0 :: Symbol Source

Initial symbol for stack

type Wd = [Symbol] Source

List symbol alias, Word are defined in Prelude