Visual Automata Simulator 1.2

A tool for simulating, visualizing and transforming finite state automata and Turing Machines. 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
What's new in this version:
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