----------------------- Time-stamp: <2002-11-25 20:40:29 sutner> -------------------------------------------------------------------------------- Title: `automata' Version: 4.6 Description: A Mathematica package that generates and manipulates finite state machines and their syntactic semigroups. Also contains applications to linear cellular automata. Author: Klaus Sutner sutner@cs.cmu.edu Maintained-by: Klaus Sutner Maintained-at: www.cs.cmu.edu/~sutner Platforms: Requires Mathematica version 4.2 or higher. External code currently only tested for Unix platforms. Copying-Policy: The package may be freely redistributed for noncommercial purposes provided that no changes are made and that this notice is included. Keywords: Finite state machines, sytnactic semigroups, linear cellular automata. -------------------------------------------------------------------------------- WARNING -------------------------------------------------------------------------------- This is an experimental version containing only the internal Mathematica code. The code is generated from XML source files using XSL transformations, which process is currently insufficiently tested. The help browser ought to be working reasonably well. There are almost certainly a few bugs, though the Guides seem to execute without a problem. You can contact me at sutner@cs.cmu.edu Alternatively, send ordinary mail to Klaus Sutner Department of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 -------------------------------------------------------------------------------- Mathematica AddOn -------------------------------------------------------------------------------- The easiest way to install the package is by placing it into ~/.Mathematica/Applications There is a init.m file in Automata/Kernel that stubs all the commands in the package for auto-loading. I personally also use the following main init.m file. (*********************** general settings ***********************) Off[General::spell]; Off[General::spell1]; $RecursionLimit = 10000; (*********************** Automata` ***********************) (* turn off pesky Automata load messages *) $AutomataMessages = False; (* automatically load experimental code *) $AutomataExperimental = True; (* load the package and experimental code *) load::error ="Load `1` failed." If[Get["Automata`dimath`"] === $Failed, Message[load::error,"dimath"] ]; If[Get["Automata`automata`"] === $Failed, Message[load::error,"automata"] ]; If[Get["Automata`experimental`"] === $Failed, Message[load::error,"experimental"] ]; Null (* eof *)