Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
P
Q
R
S
T
U
V
A
accepts(String)
- Method in class finiteAutomata.
DFA
Tests whether this DFA accepts a given String.
accepts(String)
- Method in class finiteAutomata.
NFA
Tests whether this NFA accepts a given input string.
accessible()
- Method in class finiteAutomata.
DFA
Returns all the states which are reachable from start.
accessible(IntSet, int)
- Method in class finiteAutomata.
DFA
Returns all the states which are reachable from a given set of states in a given number of steps.
add(int)
- Method in class finiteAutomata.
IntSet
Adds a given integer to this IntSet.
addDialog()
- Method in class finiteAutomata.
IntSet
Adds a user-specified integer to this IntSet.
addEpsilonDialog()
- Method in class finiteAutomata.
NFA
Queries user regarding which epsilon transition to add.
addNewStart()
- Method in class finiteAutomata.
NFA
Adds a new start state, shifting all other states to make room.
addTransitionDialog()
- Method in class finiteAutomata.
NFA
Queries user regarding which symbol-consuming transition to add.
addTypeOne(int, char)
- Method in class finiteAutomata.
CNF
Adds rule "vn -> t" to the rule set.
addTypeOneDialog()
- Method in class finiteAutomata.
CNF
Queries user for n and t in the rule "vn -> t" and adds the correpsonding rule.
addTypeZero(int, int, int)
- Method in class finiteAutomata.
CNF
Adds rule "vn -> vi vj" to the rule set.
addTypeZeroDialog()
- Method in class finiteAutomata.
CNF
Queries user for n, i, and j in the rule "vn -> vi vj" and adds the correpsonding rule.
alpha
- Variable in class finiteAutomata.
Alphabet
alphabet symbols
alpha
- Variable in class finiteAutomata.
CNF
terminal symbols
alpha
- Variable in class finiteAutomata.
DFA
Alphabet of input symbols
alpha
- Variable in class finiteAutomata.
NFA
input symbols
alpha()
- Method in class finiteAutomata.
NFA
Returns a copy of the Alphabet.
alpha
- Variable in class finiteAutomata.
StringVarTerm
alphabet of terminal symbols
Alphabet
- Class in
finiteAutomata
A non-empty set of symbols.
Alphabet(String)
- Constructor for class finiteAutomata.
Alphabet
creates an Alphabet from the characters in a given string.
answerIsYes()
- Static method in class finiteAutomata.
Util
Reads the next String from keyboard input and decides if it is a "yes" answer.
applyRule(CNFRule)
- Method in class finiteAutomata.
StringVarTerm
Returns the result of applying the given CNFRule to the LEFT-MOST variable in this StringVarTerm.
Assert
- Class in
finiteAutomata
Provides basic assertion testing for pre-conditions.
Assert()
- Constructor for class finiteAutomata.
Assert
Association
- Class in
finiteAutomata
A key-value pair such that the key cannot be modified.
Association(Object, Object)
- Constructor for class finiteAutomata.
Association
2-parameter constructor.
Association(Object)
- Constructor for class finiteAutomata.
Association
1-parameter constructor.
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
H
I
L
M
N
P
Q
R
S
T
U
V