{{В разработке}}{{TODO | t = Небольшое введение}}{{Определение|id=defLLK |definition=КС-грамматика <tex> \Gamma </tex> называется '''#перенаправление [[LL(k)-грамматикой''', если при возникновении следующей ситуации:* <tex> S \Rightarrow^* p A \beta \Rightarrow p \alpha \beta \Rightarrow^* p y \eta </tex>* <tex> S \Rightarrow^* p A \beta' \Rightarrow p \alpha' \beta \Rightarrow^* p y \xi </tex>где <tex> S </tex> {{---}} стартовый нетерминал грамматики, <tex> p </tex> {{---}} цепочка из терминалов, уже разобранная часть слова, {{---}} <br>и при выполнении условий, что <tex> |y| = k </tex> или <tex> |y| < k, \eta = \xi = \varepsilon </tex>, верно, что <tex> \alpha = \alpha' </tex>.}}{{TODO | t = LL(1)-грамматика}}{{TODO | t = множества FIRST и FOLLOW, примеры (скобочные последовательности)}}{{TODO | t = Теорема об LL(1)-грамматиках}}{{TODO | t = Псевдокоды построения множеств FIRST и FOLLOW}}{{TODO | t = Примеры арифметических выражений с табличками, левая рекурсия правое ветвление}}]]
