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
Extensions
  • MonoLocalBinds
  • TypeFamilies
  • TypeSynonymInstances
  • MultiParamTypeClasses
  • KindSignatures
  • TypeOperators
  • ExplicitNamespaces

Math.Model.Turing.FourWays

Description

Four ways turing machine

Documentation

data Tracks a Source

Constructors

Track [Tape a] (Tape a) [Tape a] 

Instances