Introduction - If you have any usage issues, please Google them yourself
Finite automaton input, conversion, identification, graphical display and simplification, using Eclipse RCP development tools and JAVA language development, and the use of new SWT/JFace, changed AWT/Swing monotonous and boring style interface, making software rich graphical interface, but also cross-platform