A C D E F G H I L M N P Q R S T U V

P

pre(boolean, String) - Static method in class finiteAutomata.Assert
Performs a verification of the condition, and does nothing if the condition holds.
predefinedDialog() - Method in class finiteAutomata.CNF
Queries user regarding which pre-defined CNF they will use.
predefinedDialog() - Method in class finiteAutomata.DFA
Queries user which pre-defined DFA they will use.
predefinedDialog() - Method in class finiteAutomata.NFA
Queries user which of 4 pre-defined NFAs they will use.
printCNF() - Method in class finiteAutomata.CNF
Reports number of variables, alphabet of terminal symbols, and rule set.
printDerivation() - Method in class finiteAutomata.StringVarTerm
Pretty-prints the derivation.
printDFA() - Method in class finiteAutomata.DFA
Pretty-prints the DFA specifications.
printFinal() - Method in class finiteAutomata.NFA
Prints list of final states in this NFA.
printLanguage(Vector) - Static method in class finiteAutomata.Alphabet
Prints a given Vector of StringBuffer objects.
printLanguage(Vector, boolean) - Method in class finiteAutomata.CNF
Prints the strings in the given Vector, preceded by "epsilon" if epsilon is generated by this CNF.
printLanguage(int) - Method in class finiteAutomata.DFA
Prints the language accepted by this DFA, thru a given max length.
printLanguage(int) - Method in class finiteAutomata.NFA
Prints the language accepted by this NFA up through a given maximum length.
printLanguageDialog() - Method in class finiteAutomata.CNF
Queries user for max string length and prints this CNF's language.
printLanguageDialog() - Method in class finiteAutomata.DFA
Reports language of DFA up through user-specified max length.
printNFA() - Method in class finiteAutomata.NFA
Pretty-prints this NFA's specifications.
printRules() - Method in class finiteAutomata.CNF
Pretty-prints the rule set.
printString(String) - Static method in class finiteAutomata.Util
Prints "epsilon" if the given String is empty; otherwise, prints the given String.
printStringVarTerm() - Method in class finiteAutomata.StringVarTerm
Pretty-prints a report on this StringVarTerm.
printTable() - Method in class finiteAutomata.Hashtable
Pretty-prints the hash table information.
printTransitions() - Method in class finiteAutomata.DFA
Pretty-prints the DFA transitions.
printTransitions() - Method in class finiteAutomata.NFA
Prints all the transitions in form "(i,x) -> j".
prune() - Method in class finiteAutomata.DFA
Eliminates inaccessible states.
pump(String) - Method in class finiteAutomata.DFA
Demonstrates the Pumping Lemma for Regular Languages.
pumpTest(String) - Method in class finiteAutomata.DFA
Prints header for pump report and tests the pumping preconditions.

A C D E F G H I L M N P Q R S T U V