406407408409410411412413414415416
// then is b the list of all terminal symbols from FIRST(va) do { if (productiondefinition.getSymbol(pos) instanceof Terminal) { b2.clear(); b2.addSymbol(productiondefinition.getSymbol(pos)); } else { b2.clear();
411412413414415416417418419420421
b2.clear(); b2.addSymbol(productiondefinition.getSymbol(pos)); } else { b2.clear(); b2.addSymbol(firstsets.getFirstSet(productiondefinition.getSymbol(pos))); } b.addSymbol(b2); pos++;