Graphical DFA Editor

The Graphical DFA Editor offers the following features and capabilities:

• Drawing and editing a DFA (Deterministic Finite Automaton) transition diagram
• Saving a DFA transition diagram to a file
• Opening a DFA transition diagram from a file
• Exporting a DFA transition diagram to a text file using the Finite Automaton (FA) format
• Importing a text file in FA format to draw a DFA transition diagram
• Simulating a DFA transition diagram

^ back to top

• <CD root directory>\
• distrib\
• DFAEditor.zip – contains the JAR executable and the software icons
• DFAEditor_src.zip – contains the .java source files and icons used in the software
• manual\
• user manual files (html)
• doc\
• api\
• dfaeditor API files – the application programming interface of the dfaeditor Java package
• final_documentations\
• final project documentations
• progress_reports\
• individual progress reports of the developers
• installers\
• JCreator_v.3.10.009.zip –JCreator IDE
• jdk-1_5_0-windows-i586.exe –Java™ 2 Standard Edition (J2SE) 5.0 Development Kit (JDK 5.0) for Windows
• jre-1_5_0-windows-i586.exe –Java™ 2 Standard Edition (J2SE) 5.0 Runtime Environment (JRE 5.0) for Windows
• jre-1_5_0-linux-i586.bin –JRE™ 5.0 for Linux (binary)
• WinZIP_8.1.exe –a PKZip archiving and extracting utility for Windows

^ back to top

 

This software can be installed and run on any operating system with these requirements:

• The latest version of the Java™ 2 Runtime Environment (JRE) installed in the computer (a copy of JRE v.1.5.0 installer is included in this CD)
• At least 128MB system RAM (recommended)

^ back to top

The Graphical DFA Editor software comes bundled in zip file with the name DFAEditor.zip. Extract the contents of this zip file to any directory of your choice using any PKZip extracting utility. A copy of Winzip® 8.1 (evaluation version) installer for Windows systems is provided in the CD containing this software. Make sure that the directory structure of the zip file is preserved when extracting its contents. The following files should be found in the directory where the contents of this zip file are extracted:

• <extract directory>\
• DFAEditor.jar (Graphical DFA Editor JAR executable)
• icons\ (directory containing the toolbar icons)
• [all software icons]

Browse to the directory where these files are extracted. Make sure that the latest version of the JRE (Java Runtime Environment) is installed in the system. Run the DFAEditor.jar file (e.g. by double-clicking the file). If it does not run automatically, try executing the following command on a command-line:

<DFAEditor extract directory> java –jar DFAEditor.jar

If neither of these two options will work, then the JRE has not been properly installed in your system. Reinstall the JRE, and try running the software again.

^ back to top

Click here to view the User's Manual.

^ back to top

Click here to view the dfaeditor API (w/ source codes).

^ back to top

The Graphical DFA Editor was designed and developed (and toiled upon!) by the following people:

• Julie Ann Abueva
• Galahad Gamo, Jr.
• Catherine Oscares
• Edsel Conrad Sabulao
• Evan Vidal Sagge
• Christine Suamen

^ back to top

The developers of this software may be contacted through Mr. Luisito L. Agustin, a faculty of the Ateneo de Manila University Electronics, Computer, and Communications Engineering (ECCE) Department.

^ back to top