или в любом хорошем учебнике по теории парсинга. (Или, конечно, путем поиска термина «косвенная левая рекурсия» и поиска страниц с некоторой достоверностью.)
тим, у меня есть эта грамматика:
S -> A C x | u B A
A -> z A y | S u | ε
B -> C x | y B u
C -> B w B | w A
Эта грамматика, очевидно, не является LL (1), которую я могу найти при построении таблицы разбора. Но есть ли способ, которым я могу доказать, что эта грамматика не является LL (1) без использования классических методов, то есть без построения таблицы разбора или нахождения каких-либо конфликтов?
Также, как я могу преобразовать эту грамматику в LL (1)? Я думаю, что мне нужно использовать как удаление эпсилон-производных, так и устранение левой рекурсии, но это немного сложно, и столько раз, сколько я пробовал, я не мог преобразовать его в LL (1).
Заранее спасибо.