| xegaBNF-package | Package xegaBNF |
| allTerminal | Are all symbols of vector of symbols terminal symbols? |
| bindKvariables | R-code to bind variable names with values from a vector. |
| booleanGrammar | A constant function which returns the BNF (Backus-Naur Form) of a context-free grammar for the XOR problem. |
| booleanGrammarK | A constant function which returns the BNF (Backus-Naur Form) of a context-free grammar for the XOR problem with k boolean variables. |
| cL | Combines two lists. |
| compileBNF | Compile a BNF (Backus-Naur Form) of a context-free grammar. |
| compileShortPT | Produces a production table with non-recursive productions only. |
| dataframePT | The dataframe of a production table of a grammar (readable). |
| derive | Derives the identifier list which expands the non-terminal identifier. |
| directRecursion | Which production rules contain a direct recursion? |
| evenMacro | Is the number macro patterns even? |
| existsMacro | Does the grammar contain macros? |
| expandGrid | Expands a vector of symbol vectors. |
| expandRules | Replaces rules with fNTs and terminals by a new set of rules with terminals. |
| findNextRuleForExpansion | Find next rule which must be expanded. |
| finiteRulesOfG | Which production rules produce only terminal symbols? |
| id2symb | Convert a numeric identifier to a symbol. |
| isNonTerminal | Is the numeric identifier a non-terminal symbol? |
| isTerminal | Is the numeric identifier a terminal symbol? |
| makeProductionTable | Produces a production table. |
| makeRule | Transforms a single BNF rule into a production table. |
| makeStartSymbol | Extracts the numerical identifier of the start symbol of the grammar. |
| makeSymbolTable | Build a symbol table from a character string which contains a BNF. |
| newBNF | Convert grammar file into a constant function. |
| newPT | Constructs a new production table. |
| nonTerminalsOfG | Returns the list of symbol identifiers of nonterminal symbols in G. |
| pastePart | Catenates a vector of strings into a single string. |
| preBNF | BNF preprocessing. |
| printPT | Print a production table of a grammar. |
| readBNF | Read text file. |
| rules | Returns all indices of rules applicable for a non-terminal identifier. |
| smallestRules | List of rules with the smallest number of nonterminals. |
| symb2id | Convert a symbol to a numeric identifier. |
| variableNamesBNF | Generate synthetic variable names as list of rules in BNF. |
| variableNamesLHS | Generate synthetic variable names as list of rules in BNF. |
| writeBNF | Write BNF into text file. |
| xegaBNF | Package xegaBNF |