GAP

Main Branches

Downloads  Installation  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.13   (Released 19/11/2011)

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.13[.tar.gz  (488K)]   [.tar.bz2  (416K)]   [-win.zip  (532K)]   [.zip  (532K)]  

Contact

Manuel Delgado
Address:
Manuel Delgado
Departamento de Matemática
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