|
|
|
|
|
|
|
|
|
Automata
|
|
|
|
|
|
Organization: | Carnegie Mellon University |
Department: | School of Computer Science |
|
|
|
|
|
|
0205-197
|
|
|
|
|
|
2004-04-28
|
|
|
|
|
|
Automata is a hybrid Mathematica/C++ package that manipulates finite state machines and their syntactic semigroups. A number of operations on one-dimensional cellular automata are also available. All the algorithms are implemented in Mathematica, and the system can be used as a standard Mathematica package. Many of the computationally critical algorithms are also implemented externally in a C++ library: examples include the power automaton construction, minimization using Hopcroft's algorithm, and generation of syntactic semigroups with D-class decomposition. The C++ code can be used directly or, via MathLink, from within Mathematica. On a standard PC, the external code allows one to generate machines and/or semigroups with several thousand elements.
|
|
|
|
|
|
|
|
|
|
|
|
pure math, applied math, linear cellular automata, finite state machines, syntactic semigroups, physics, chemistry, README.txt, automata.m, ksmac.m, Guide.ma, LinearCA.ma, autocode.tar.Z, autocode.zip, autocode.sit.hqx
|
|
|
|
|
|
http://www-2.cs.cmu.edu/~sutner/automata.html
|
|
|
|
|
|
| README.txt (2.8 KB) - Installation instructions | | Automata.zip (990.5 KB) - Automata 5.0 version in Zip format | | automata.4.6.tgz (577.5 KB) - tarred/zipped automata package | | automata.5.0.tgz (958.5 KB) - TAR/GZIP archive [for Mathematica 5.0] |
|
|
|
|
|
|
|
| | | | | |
|