правило имеет не-LL (*) решение из-за рекурсивных вызовов правил

Question

У меня есть ошибка (как сказано в заголовке) с одним правилом, которое я не знаю, как решить.

я написал следующее правило:

FunctionArguments returns FunctionArgs::IFunctionArguments : 
    FunctionArgumentsNormal 
    | FunctionArgumentsForIter 
    ; 

FunctionArgumentsNormal returns FunctionArgs::IFunctionArguments : 
    {FunctionArgs::FunctionArguments} args+=Expression (',' args+=Expression)* 
    | {FunctionArgs::FunctionArguments} argNames+=NamedArguments (',' argNames+=NamedArguments)* 
    ; 

FunctionArgumentsForIter returns FunctionArgs::IFunctionArguments : 
    {FunctionArgs::FunctionArgumentsIterator} exp=Expression 'for' iterators=ForIterator 
    ; 

Не могли бы вы помочь мне разрешить его левым факторинга это выражение или давать любые другие решения, пожалуйста?

Answer 1

В грамматике LL у вас не может быть левой рекурсии. Проблема заключается в том, что парсер LL может выбрать сделать такой вывод: FunctionArguments -> FunctionArgumentsNormal -> FunctionArguments -> FunctionArgumentsNormal ... В вашей грамматике содержится так называемая косвенная левая рекурсия. Вы можете найти пример в этой статье в Википедии, в которой также содержится решение о том, как вы можете это исправить: Left-Recursion. Хорошее место для начала - (я полагаю, вы уже это сделали), написав свою грамматику очень простым способом без всех аннотаций и вещей, включенных в ваш пример. Если у вас есть грамматика в простой форме:

S -> A | B 
B -> "terminal1" B 
    | b 
A -> a "terminal2" 

гораздо проще выполнить необходимую переписку.