Automata

Uppaal Timed Automata Parser Library (libutap) is the parser library used by UPPAAL.. Platforms: *nix

Cellular::Automata::Wolfram is a Perl module that implements one-dimensional non-totalistic cellular automata as described in Dr. Steven Wolframs, A New Kind of Science, ISBN:1-57955-008-8 SYNOPSIS use Cellular::Automata::Wolfram; my $png_file = shift; my $caw = new... Platforms: *nix

This is a little script that uses Python to generate the cellular automata that Wolfram discusses in his book "A New Kind of Scilfram disquot;.The script uses the Python Imaging Library to render the output, but you could replace this with text or any other method of visualization. Platforms: Windows, Mac, *nix, Python, BSD Solaris

ASTL Automata Standard Template Library (Vincent Le Maout - Dominique Revuz) is a set of generic and efficient C++ components for automata manipulation. Platforms: Windows, Mac, Linux

A library to build and manipulate finite state automata, I/O automata, transducers and rational langagues in Java. Platforms: Windows, Mac, Linux

jFAST is a simple finite automata (FA) graphical simulation utility; it is designed to feature simple mechanisms for creating, editing, and simulating FA. jFAST is ideal for use by students, instructors, and self-guided explorers alike. Platforms: Windows, Mac, Linux

DFA::Simple is a Perl module to implement simple Discrete Finite Automata. SYNOPSIS my $Obj = new DFA::Simple or my $Obj = new DFA::Simple $Transitions; or my $Obj = new DFA::Simple $Actions, $StateRules; $Obj->Actions = [...]; my $Trans = $LP->Actions; $Obj->StateRules = [...]; my... Platforms: *nix

DFA::Kleene is a Kleenes Algorithm for Deterministic Finite Automata. Calculates the "language" (set of words) accepted (= recognized) by a Deterministic Finite Automaton. SYNOPSIS use DFA::Kleene qw(initialize define_accepting_states define_delta kleene example); use DFA::Kleene... Platforms: *nix

Seurat is a handy, simple Java based software specially designed to offer you an image processing tool that will use Hodgepodge cellular automata and cyclic space to operate on images. Platforms: Windows

3D cellular automata modelling software for large general purpose simulations. Uses custom scripts for rules and can distribute processing over several machines. Platforms: *nix

QCADesigner is a CAD tool for quantum-dot cellular automata (QCA) circuits. The powerful CAD features and simulation engines allow for rapid design, layout, and simulation of QCA circuits and systems. QCADesigner has most of the standard computer aided design features required for the advanced... Platforms: Windows, *nix

Langtons Ant project is an example of a finite-state cellular automata. The ant (or ants) start out on a grid. Each cell is either black or white. If the ant is on a black square, it turns right 90° and moves forward one unit. If the ant is on a white square, it turns left 90° and moves... Platforms: *nix

xdesktopwaves is a cellular automata which sets the background of an X11 desktop as if it were under water. Window and mouse movements cause ripples on the desktop like ships on the sea. You can also simulate rain or a storm stirring up the water.. Homepage of xdesktopwaves, a program that... Platforms: *nix

Qfsm is a graphical editor for finite state machines written in C++ using Qt the graphical Toolkit from Trolltech. Finite state machines are a model to describe complex objects or systems in terms of the states they may be in. In practice they can used to design integrated circuits or to create... Platforms: *nix

ISA is an acronym for "Infinite State Automata." Lots of researchers believe that FSA (finite state automata) are a parallel for many complex biological systems, including intelligent systems, which I consider to have infinite possibilities, thus the title.Notes:Currently supports 1, 2, and... Platforms: Mac

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell. Platforms: Windows, Mac, Linux

Celeste is a tiny and simple Cellular Automata simulator written in Java. It is a command line application that writes an image of each simulation step. Celeste was designed to run Conway's Game of Life but other rulesets can be implemented as well. It is released under the extremely permissive... Platforms: Windows, Mac, Linux

3D cellular automata modelling software for large general purpose simulations. Uses custom scripts for rules and can distribute processing over several machines. Platforms: Windows, Mac, Linux

A lightweight and fast implementation of Conway's Game of Life and related cellular automata.It includes a pattern viewer running X Windows anda Python module intended to help in designing complex patterns. Platforms: Mac, BSD, Linux

Tools for finite automata simulation, minimization and grammar utilities (left recursion removal, context free grammar simplification and transformation to Chomsky Normal Form). Platforms: Windows, Mac, Linux