SymbolList productiondefinition;
for (int item = 0; item<elementCount; item++)
if ((positions[item]<((productiondefinition =
grammar.getProduction(productions[item]).getDefinition()).getSymbolCount())) &&
(productiondefinition.getSymbol(positions[item]) instanceof Terminal))
set.addSymbol(productiondefinition.getSymbol(positions[item]));
return set;
}
public SymbolSet getNextNonterminals()