Как доказать, что грамматика есть LL(k) для k>1
У меня есть это упражнение, которое дает мне грамматику и просит доказать, что это не LL(1), Все хорошо с этой частью, хотя потом спрашивает меня, может ли эта грамматика LL(k)(for k>1) или нет. Какую процедуру я должен выполнить, чтобы определить это?
1 ответ
Для данного k и не левой рекурсивной грамматики, все, что вам нужно сделать, это построить LA(k) таблица (по алгоритмам легко доступны везде). Если нет двусмысленности, грамматика LL(k)и язык тоже.
Зная, существует ли k для которого данный язык LL(k) неразрешима. Вы должны попробовать одно значение k за другим, пока не добьешься успеха, или вселенная иссякнет.