#Program that converts an NFA to a DFA and minimizes it.
#Synopsis
This program converts an NFA into a minimized DFA.
#Usage
You can run this program by compiling with QT libraries included in Eclipse, or compiling separately and then setting "Class-Path:" line in JAR manifest file. For Eclipse: First download QT Jambi libraries for your OS: http://qtjambi.org/downloads And extract the zip.
Then Import the Java files here as a new project in Eclipse. In properties of project, select "Java Build Path". Click on " Libraries" , and select " Add External JARs" , to add two JARs from the extracted QT Jambi zip:
- qtjamb-4*.jar
- qtjambi-native* Then you can just run the project in eclipse, or export as a JAR.
For manually running: Compile the project as a JAR, and include the two files mentioned above as a class-path.
You can use the included JAR to run without a need to download QT jambi libraries, as they are included in it . Note: That JAR file has only the Linux 64 bit QT Jambi libraries for now. Other platforms will be included soon
User has 4 choices : Converting an NFA to a minimized DFA, Minimizing a DFA and displaying a DFA.
First menu has 4 choices : Add a symbol, delete a symbol, display the alphabet and display the alphabet's size.
You can enter any character as a symbol except "q" as that will be used for the states' names :
You have the ability to delete a previously entered symbol :
You can display your alphabet :
This menu let you enter how many states are in your automaton and display them :
Select the final states :
Enter the transition function:
#Developers This is a project for the languages theory class.
By : Ouissal Benameur,Oumaima Kabbouri and Charaf Boughriba under the supervision of Dr. Youssef Baddi.