GAP

Main Branches

Download   Overview   Data Libraries   Packages   Documentation   Contacts   FAQ   GAP 3  

GAP package Automata

A package on automata

Authors

Manuel Delgado, Steve Linton, Jose Morais

Short Description

The Automata package, as its name suggests, is package with algorithms to deal with automata.

Version

Current version number 1.12   (Released 14/11/2008)

Status

accepted    (communicated by Edmund Robertson (St. Andrews), accepted 09/2004)

Dependencies

GAP version: >=4.4
Suggested other packages: GAPDoc(>= 1.2),
External needs: Graphviz, Evince

Online documentation

Automata: [ HTML] version   [ PDF] version  

Download

[README]    automata-1.12[.zoo  (684K)]   [.tar.gz  (636K)]   [-win.zip  (668K)]   [.tar.bz2  (528K)]  

Contact

Manuel Delgado
Address:
Manuel Delgado
Departamento de Matemática Pura
Faculdade de Ciências
Rua do Campo Alegre, 687
Porto
Portugal
WWW: http://www.fc.up.pt/cmup/mdelgado/
E-mail: mdelgado@fc.up.pt

Steve Linton
Address:
Steve Linton
School of Computer Science,
University of St. Andrews,
North Haugh,
St. Andrews,
Fife,
KY16 9SS,
SCOTLAND

WWW: http://www.dcs.st-and.ac.uk/~sal/
E-mail: sal@dcs.st-and.ac.uk

Jose Morais
Address:
Jose Morais
Departamento de Matemática Pura
Faculdade de Ciências
Rua do Campo Alegre, 687
Porto
Portugal
E-mail: josejoao@fc.up.pt