Description: Java implementation of finite automata related functions toolkit includes: transformation between regular expression, NFA and DFA. The intersect, complement, substract and union operation of DFA. Judge whether the corresponding regular sets of a DFA is an infinite set. Lists all the strings contain in a finite regular set, and calculate the minimum and maximum length of the strings contains. Determine whether the two minimized DFA equivalence or not, and so on.
Code is open source: https://a1e2w3 @ bitbucket.org/a1e2w3/dfa4java.git
To Search:
File list (Check if you may need any files):
FiniteAutomaton
...............\.classpath
...............\.project
...............\.settings
...............\.........\org.eclipse.jdt.core.prefs
...............\bin
...............\...\hust
...............\...\....\idc
...............\...\....\...\automaton
...............\...\....\...\.........\CharRange$1.class
...............\...\....\...\.........\CharRange$10.class
...............\...\....\...\.........\CharRange$11.class
...............\...\....\...\.........\CharRange$12.class
...............\...\....\...\.........\CharRange$13.class
...............\...\....\...\.........\CharRange$14.class
...............\...\....\...\.........\CharRange$15.class
...............\...\....\...\.........\CharRange$2.class
...............\...\....\...\.........\CharRange$3.class
...............\...\....\...\.........\CharRange$4.class
...............\...\....\...\.........\CharRange$5.class
...............\...\....\...\.........\CharRange$6.class
...............\...\....\...\.........\CharRange$7.class
...............\...\....\...\.........\CharRange$8.class
...............\...\....\...\.........\CharRange$9.class
...............\...\....\...\.........\CharRange.class
...............\...\....\...\.........\CharRangeOperation.class
...............\...\....\...\.........\CharacterEscaper.class
...............\...\....\...\.........\DFA$1.class
...............\...\....\...\.........\DFA$2.class
...............\...\....\...\.........\DFA$3.class
...............\...\....\...\.........\DFA$4.class
...............\...\....\...\.........\DFA.class
...............\...\....\...\.........\DFABuilder.class
...............\...\....\...\.........\DFAIntersector$ConnectionState.class
...............\...\....\...\.........\DFAIntersector.class
...............\...\....\...\.........\DFAMinimizer.class
...............\...\....\...\.........\DFAState$1.class
...............\...\....\...\.........\DFAState.class
...............\...\....\...\.........\DFAUtil.class
...............\...\....\...\.........\NFA$1.class
...............\...\....\...\.........\NFA$2.class
...............\...\....\...\.........\NFA.class
...............\...\....\...\.........\NFABuilder$TempNFA.class
...............\...\....\...\.........\NFABuilder.class
...............\...\....\...\.........\NFADeterminizer$DFAToNFAMap.class
...............\...\....\...\.........\NFADeterminizer.class
...............\...\....\...\.........\NFAState.class
...............\...\....\...\.........\PatternCreator$TempStatus.class
...............\...\....\...\.........\PatternCreator.class
...............\...\....\...\.........\RegexParser.class
...............\...\....\...\.........\RegularExpression$ErrorHandler.class
...............\...\....\...\.........\RegularExpression.class
...............\...\....\...\.........\StateID.class
...............\...\....\...\.........\TestAutomaton.class
...............\...\....\...\util
...............\...\....\...\....\ID.class
...............\...\....\...\....\Pair.class
...............\src
...............\...\hust
...............\...\....\idc
...............\...\....\...\automaton
...............\...\....\...\.........\CharRange.java
...............\...\....\...\.........\CharRangeOperation.java
...............\...\....\...\.........\CharacterEscaper.java
...............\...\....\...\.........\DFA.java
...............\...\....\...\.........\DFABuilder.java
...............\...\....\...\.........\DFAIntersector.java
...............\...\....\...\.........\DFAMinimizer.java
...............\...\....\...\.........\DFAState.java
...............\...\....\...\.........\DFAUtil.java
...............\...\....\...\.........\NFA.java
...............\...\....\...\.........\NFABuilder.java
...............\...\....\...\.........\NFADeterminizer.java
...............\...\....\...\.........\NFAState.java
...............\...\....\...\.........\PatternCreator.java
...............\...\....\...\.........\RegexParser.java
...............\...\....\...\.........\RegularExpression.java
...............\...\....\...\.........\StateID.java
...............\...\....\...\.........\TestA
Download