turingMachine-0.1.3.0: An implementation of Turing Machine and Automaton

Copyright	(c) Jorge Santiago Alvarez Cuadros, 2016
License	GPL-3
Maintainer	sanjorgek@ciencias.unam.mx
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010
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

Functor Tracks Source
Applicative Tracks Source
Tapeable Tracks Symbol Source
TuringM Tracks Symbol FW Source
Eq a => Eq (Tracks a) Source
Show a => Show (Tracks a) Source
(Eq s, Monoid s) => Monoid (Tracks s) Source