Free automata software for mac

Visual Automata Simulator is a DFA, NFA and TM simulator.
Visual Automata Simulator is a tool for simulating, visualizing and transforming finite state automata and Turing Machines.
Main features:
- Creates, simulates and transforms DFA and NFA machines
- Creates and simulates TM
- Batch tests for TM: useful features to test a bunch of files quickly!
- Easy-to-use GUI interface (multi-documents)
- Smart links between objects
- Machines can be drawn using the mouse - and resized at any time
- Multiple machines can be created in a single document
- Multiple documents can be opened at the same time
- Documents can be saved and reloaded from disk
- Debug mode to see exactly how the machine is working (each step has a different color)
- MacOS X GUI compliant.
Enhancements:
- modified for XJLibrary 1.2.5
- unit tests
- fixed a bug introduced in version 1.1.2 with epsilon transition.

Two years ago I worked on an interesting research project with a friend. In this project we examined a certain cellular automaton named Langton’s Ants. Cellular automata are infinite grid spaces in which each space possesses a certain state.

Spaces in Langton’s Ants have one of two states, on or off. In this cellular automata, an “ant” traverses the infinite grid space. Each time the ant enters a square it follows a certain set of rules:
1. If the square is ‘on’ the ant rotates 90 degrees clockwise and then moves forward one square.
2. If the square is ‘off’ the ant rotates 90 degrees counterclockwise and the moves forward one square.
3. When the ant leaves a square it switches the status.

Although these rules seem simple, the patterns produced are intriguing. Because of this, I decided to adapt some of the code written for the research project into a screen saver for Mac OS X.

The screen saver randomly generates anywhere from 1 to 5 ants on a grid and then performs the simple rules for each ant. The following image is a pattern created by a single “ant.”

EvoJava is an program for interactively exploring intriguing concepts in computer science. From cellular automata and rule-based systems to fractals and genetic algorithms, EvoJava is an education tool for anyone interested in the "edges" of science. Or, if nothing else, it makes lots of pretty pictures!

I have developed and tested EvoJava using Gentoo Linux on Opteron and Pentium systems; Ive also tested with Microsoft Internet Explorer and Firefox for Windows XP SP2 (where I have Suns Java installed.)

This is a preliminary beta version of EvoJava. It contains only four "universe" types, and lacks significant documentation. Im releasing this code "as is", hoping users will help me improve the final program. Keep an eye on these pages for updates. I make no promises about schedules or about what the final program will include; all I can say is that EvoJava is moving along nicely. The final release will include full, documented source code, released under the GPL.

Escape Towards The Unknown is not just one graphical adventure tracing those of the most famous series of the Lucas Arts. Its "heart" push-button implements a special language which combined with the powerful editor, allows anyone to realize whichever adventure, starting from the "crude data".
The games main character, Mike Clifford, has got a computers and robots factory. The research and development sector of this factory has almost completed a brand-new prototype of semi-intelligent automaton... but Mike has other things to think of, its very long time that he doesnt spend his time in a holiday; a day infact, he decides to leave affairs for a pair of weeks and to use them to "recharge his batteries" (as he says).
Joined in Scotland (the place choosed for the holiday), Mike goes to the hotel in which he had booked.
While hes going to the airport to hire a piper and fly over the mountains, three suspicious men go down from a car with black glasses and approch him with threatening intentions, but as soon as one of the three men takes his arm, and pulls him, Mike exclaims: "Leave me! I can walk alone!" and taking advantage of a propitious moment, he goes away.
Mike, gets on a piper that is just landed and leave again, he doesnt care of mechanics imprecations.
Covered few hundred of miles, the engine starts to subside and Mike is forced to throw with the parachute. Once he has throwned from the piper he sees a little group of houses under him. He handles the draughts of the parachute and manages to land in the middle of a square, but as he is out of training, he falls and he hits his head and he loses consciousness...
When he wakes up, he realizes to be in a little country far from every modern centre. And here begins...Escape Towards The Unknown.
Main features:
- Graphics in 640x480 pixels at 256 colors;
- supports for SDL library;
- can be played in a window or full screen;
- brand new user command language interface;
- digitalized dialogues in many languages;
- user configurable;
- you can choose from a different set of GUI backgrounds.

Cellular 1.5 is a program which can simulate 2D-cellular automata, the world of Wator, colliding 2D-galaxies or calculates z^2- and z^4-Mandelbrot sets. All simulations are animated (refresh rate 1 to 200 fps) and threaded, an inspector displays the speed of calculation and drawing. Furthermore the world of Wator includes statistics.

Life Screensaver is cellular automata implemented completely and totally for the conversation-piece value.

You can read a bit about cellular automata and the game of Life, too.

Loop 1.0 is an impressive and unique screensaver which will catch your attention immediately.

Chris Langton's cellular automata "loops" reproduce in the spirit of life. Beginning from a single organism, the loops from a colony. As the loops on the outer fringes reproduce, the inner loops -- blocked by their daughters -- can no longer produce offspring. These dead progenitors provide a base for future generations' expansion, much like the formation of a coral reef. This self-organizing behavior emerges spontaneously, from the bottom up -- a key characteristic of artificial life.

Don't Panic -- When the artificial life tries to leave its petri dish (ie. the screen) it will (usually) die... The loops are short of "real" life because a general purpose Turing machine is not contained in the loop. This is a simplification of von Neumann and Codd's self-producing Turing machine. The data spinning around could be viewed as both its DNA and its internal clock.

Life is a cellular automaton devised by John Conway in 1970. From a few simple rules emerge a rich and pleasing behavior that is difficult to predict.

Click to add single cells, or randomly scatter a whole bunch onto the board. Set the speed to slow to watch it grow, or cranky it up and watch the patterns ebb and flow (or stop all together to edit the field).

Board is now resizable, faster, can wrap and supports rule variants.