- Notifications
You must be signed in to change notification settings - Fork5
edesmontils/JFSM
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Avec Ant (https://ant.apache.org):
ant jar
ou sinon :
- Si nécessaire :
mkdir binmkdir docmkdir jar
- Puis :
javac -sourcepath src -d bin*.javajavadoc -docencoding latin1 -d doc -docfilessubdirs -sourcepath src JFSMcd binjar cvf ../jar/JFSM.jar*cd ..
java -cp .:jar/JFSM.jar -ea monproj
ou
java -cp .:bin -ea monproj
Set<String>A =newHashSet<String>();A.add("a");A.add("b");A.add("c");Set<Etat>Q =newHashSet<Etat>();Q.add(newEtat("1"));Q.add(newEtat("2"));Q.add(newEtat("3"));Set<Transition>mu =newHashSet<Transition>();mu.add(newTransition("1","a","2"));mu.add(newTransition("1","b","3"));mu.add(newTransition("2","a","1"));mu.add(newTransition("2","c","3"));mu.add(newTransition("2","b","2"));mu.add(newTransition("3","b","2"));Set<String>F =newHashSet<String>();F.add("3");Automateafn =newAFD(A,Q,"1",F,mu);afn.init();afn.next("a");afn.next("c");System.out.println(afn.accepte());List<String>l =newArrayList<String>();l.add("a");l.add("c");afn.run(l);System.out.println(afn.accepte());System.out.println(afn.histo);
Il est possible de charger un automate au format JFLAP4 (http://www.jflap.org).
About
No description or website provided.
Topics
Resources
Uh oh!
There was an error while loading.Please reload this page.
Stars
Watchers
Forks
Releases
No releases published
Packages0
No packages published
Contributors4
Uh oh!
There was an error while loading.Please reload this page.