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