Automata editor


Automata editor is vector editor for drawing finite automata according to VauCanSon-G format (a LaTeX package). The editor supports export to several vector formats (e.g. EPS, SVG, VauCanSon-G, GraphML, ...) as well as bitmap formats (e.g. BMP, JPEG, ...).

The program offers a basic tools for working with finite automata such as basic algorithms for finite automata, export of transition table to the LaTeX format and simulation of work of finite automata with possiblity to export the steps of simulation in the VauCanSon-G format.

There were designed an interface to external dynamically loaded modules, so that any algorithm can be added to extend the editor's functionality.

SourceForge project



Automata editor example