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 |