Automata

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

Programul PaneCutter este destinat pentru generarea automata a planului de debitare, pentru fabricanti de mobila sau alte prodse din material rectangular (PAL, placi de metal, sticla, etc.), al caror gama de productie este larga sau se schimba permanent. Multumit algoritmului sofisticat,... Platforms: Windows

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

Self-replicating automata in continuous two-dimensional space Platforms: Windows, Mac, Linux

MASyV, which stands for Multi-Agent System Visualization, was developed to facilitate the visualization of cellular automata, or agent-based or individual-based models, without the need for the user to actually implement a graphical user interface (GUI). The software employs a client-server... Platforms: Mac

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse Platforms: Windows, Mac, Linux

The XFA library is a Finite Automata (FA) library to handle tasks like building (programmatically or from regular expressions), converting NFA (Non-deterministic FA) to DFA (Deterministic FA) and reducing FA graphs.The library relies only on the availability of an ANSI C compiler, and in this way... Platforms: C and C plus plus

The process involves real time image processing of an arena using matlab and giving directions to a bot.The arena is a maze. The bot represents a snake. The problem is to guide my snake to appropriate food location without crossing the red lines which represent the maze. The tracking of the bot... Platforms: Matlab

Cthurhu is a graphical simulator for Automata, Mealy and Turing machines. It is written in Java and runs as Applet and standalone program (Applet has still some problems). It is simple to use and there is a little manual written in "english". It's free!!! Platforms: Mac

General purpose library that allows the construction of recursive deterministic automata in real-time from non-deterministic settings. Platforms: Mac

LifeLab is a Mac application for exploring John Conway's Game of Life and other cellular automata. CAs were first studied in the mid-1950s by Stanislaw Ulam and John von Neumann. The subject became much more widely known in 1970 when Life was described by Martin Gardner in his Scientific American... Platforms: Mac

The EJS Game of Life Model simulates a popular 2D cellular automata of a lattice in a finite state which is updated in accordance with a set of nearby-neighbor rules. The universe of the Game of Life, developed by John Conway, is a two-dimensional orthogonal grid of square cells, each of which is... Platforms: Mac

RegexVisualizer is a free Mac OS X app which will convert a formal regular expression to an ?zA*-NFA and visualizes it in the form of a transition table. RegexVisualizer uses the algorithm described in section 3.2.3 of "Introduction to Automata Theory, Languages & Computation" to create the... Platforms: Mac

A cellular automaton is a discrete model studied in computability theory, mathematics, physics, complexity science, theoretical biology and micro-structure modeling. It consists of a regular grid of cells, each in one of a finite number of states, such as "On" and "Off". The grid can be in any... Platforms: Mac