

 |
 |
 |
 |
 |
 |
 |
 |
 |
 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] |
 |
 |
|
 |
 |
 |
 |
| | | |  | |
|