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
