В Интернете есть много примеров, показывающих, как построить таблицы синтаксического анализа для контекстно-свободной грамматики из первых/следующих наборов для парсера LL (1).
Но я не нашел ничего полезного, связанного с k > 1 случаем. Даже википедия не дает информации об этом.
Я ожидаю, что это должно быть каким-то образом похожее, но указатели на существующие исследования в этой области будут очень полезны.
Я очень сильно борюсь с теми же проблемами, создавая парсер LR, а не LL. Я нашел немного лучшую страницу, чем LL (k), упомянутую @cakeplus - http://www.seanerikoconnor.freeservers.com/ComputerScience/Compiler/ParserGeneratorAndParser/QuickReviewOfLRandLALRParsingTheory.html Существует также связанная бумага, доступная бесплатно - http://ci.nii.ac.jp/naid/110002673618/
Однако даже мне это не сильно помогли. Поэтому я начал с основ. Если кому-то интересно: https://aboutskila.wordpress.com/2013/06/14/lalrk-first-sets/, и битва продолжится: -)