Uses of Class
finiteAutomata.CNF

Uses of CNF in finiteAutomata

Methods in finiteAutomata with parameters of type CNF

protected static void	CNFMenu.addTypeOneDialog(CNF cnf) Queries user for n and t in the rule "vn -> t" and adds the correpsonding rule.
protected static void	CNFMenu.addTypeZeroDialog(CNF cnf) Queries user for n, i, and j in the rule "vn -> vi vj" and adds the correpsonding rule.
protected static void	CNFMenu.menuHandler(CNF cnf, int choice) Takes the appropriate action based on menu options.
protected static void	CNFMenu.predefinedDialog(CNF cnf) Queries user regarding which pre-defined CNF they will use.
protected static void	CNFMenu.printLanguageDialog(CNF cnf) Queries user for max string length and prints this CNF's language.
protected static void	CNFMenu.removeTypeOneDialog(CNF cnf) Queries user for n and t, and removes rule "vn -> t".
protected static void	CNFMenu.removeTypeZeroDialog(CNF cnf) Queries user for n, i, and j, and removes rule "vn -> vi vj".
protected static void	CNFMenu.ruleChangeDialog(CNF cnf) Asks user which type of rule change they want to make and carries out that request.
static void	CNFMenu.runMenu(CNF cnf) Repeatedly obtains user's action choice and carries out that action.
protected static void	CNFMenu.testStringDialog(CNF cnf) Determines whether a user-specified String is generated by the given grammar.