Я ищу хорошее объяснение определений наборов RDP FIRST, FOLLOW и PREDICT при наличии грамматики.
Попробуйте Прагматика языка программирования , Майкл Л. Скотт (Морган Кауфманн). Разбор рассматривается в главе 2. Разбор с рекурсивным спуском описан в разделе 2.2.3; сначала и следуют устанавливает в 2.2.5.
Вы можете автоматически вычислять первый, последующий и прогнозный наборы, используя Рассчитать прогнозирующий, первый и последующий наборы из спецификации грамматики BNF (Backus Naur Form) без необходимости что-либо загружать. Это хороший способ проверить ответы или автоматизировать скуку.
Если вы хотите сделать это вручную, Книга Дракона (2-е изд) описывает ее на страницах 221-222.