Visual Automata Simulator 1.2

Visual Automata Simulator is a tool for simulating, visualizing and transforming finite state automata and Turing Machines.
Visual Automata Simulator is a DFA, NFA and TM simulator.
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:
- FA and TM machine can be exported to EPS file
- integrated update manager
- preferences: can specify the character used to define an epsilon transition
- fixed a bug where epsilon transition were not considered when starting directly from a state instead of following a non-epsilon transition.