Является ли следующий набор полезным, только если есть два произведения, оба из которых могут быть пустыми?
Например я получил это:
X := N1
| N2
| N3
, которые N2 и N3 оба могут выводиться пустыми, чем я выбираю N2 или N3, проверяя, является ли текущий входной токен следующим (N2) или последующим (N3).
но если у меня нет набора для отслеживания, я могу просто пропустить этот терминал без проверки и перейти к проверке первого набора для следующего.
Итак, следующий набор существует только для предотвращения откатов?
Или, другими словами, если нет ни одного терминала, который имеет не более одного произведения, которое может быть пустым, могу я просто не вычислить следующий набор?