turingMachine: An implementation of Turing Machine and Automaton

[ gpl, library, math ] [ Propose Tags ] [ Report a vulnerability ]

An implementation of Turing Machine and Automaton for language theory

[Skip to Readme]

Modules

Data
Math
- Model
  - Automaton
    - Math.Model.Automaton.Finite
    - Math.Model.Automaton.Stack
  - Math.Model.Turing
    - Math.Model.Turing.FourWays
    - Math.Model.Turing.TwoWays

Downloads

turingMachine-1.0.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

sanjorgek

For package maintainers and hackage trustees

edit package information

Candidates

0.1.1.1, 0.1.1.2, 0.1.2.0, 0.1.3.0, 1.0.0.0

Versions [RSS]	0.1.1.2, 0.1.2.0, 0.1.3.0, 1.0.0.0
Dependencies	base (>=4.6 && <5), containers (>=0.5.6.2), mtl (>=2 && <2.3) [details]
License	GPL-3.0-only
Copyright	(c) Jorge Santiago Alvarez Cuadros
Author	Jorge Santiago Alvarez Cuadros
Maintainer	sanjorgek@ciencias.unam.mx
Category	Math
Home page	https://github.com/sanjorgek/turingMachine
Bug tracker	https://github.com/sanjorgek/turingMachine/issues
Source repo	head: git clone git@github.com:sanjorgek/turingMachine.git
Uploaded	by sanjorgek at 2018-02-15T21:21:44Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	2603 total (5 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2018-02-15 [all 1 reports]