findNextRuleForExpansion {xegaBNF}R Documentation

Find next rule which must be expanded.

Description

Find next rule which must be expanded.

Usage

findNextRuleForExpansion(PT, fNTS, G)

Arguments

PT

Production table.

fNTS

List of finite non terminals.

G

A grammar.

Value

A list of indices.

See Also

Other Compilation of short production table: allTerminal(), cL(), directRecursion(), expandGrid(), expandRules(), finiteRulesOfG(), nonTerminalsOfG(), smallestRules()

Examples

g<-compileBNF(booleanGrammar())
finiteRules<-finiteRulesOfG(g)
SPT<-newPT(LHS=g$PT$LHS[finiteRules], RHS=g$PT$RHS[finiteRules])
finiteNTs<-unique(SPT$LHS)
rest<-!(finiteRulesOfG(g) | directRecursion(g))
restPT<-newPT(LHS=g$PT$LHS[rest], RHS=g$PT$RHS[rest])
findNextRuleForExpansion(restPT, finiteNTs, g)


[Package xegaBNF version 1.0.0.5 Index]