Perguntas com a marcação «left-recursion»

No design do compilador, por que a recursão à esquerda deve ser eliminada nas gramáticas? Estou lendo que é porque pode causar uma recursão infinita, mas também não é verdade para uma gramática recursiva correta?

20 formal-grammars  compilers  left-recursion 

No artigo Analisando expressões por descendência recursiva de Theodore Norvell (1999), o autor começa com a seguinte gramática para expressões aritméticas: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | …

9 formal-languages  context-free  formal-grammars  left-recursion 

Essa gramática é deixada recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Portanto, em teoria, a descida recursiva não funcionará. Mas, explorando …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

se eu tiver uma gramática com uma produção que contenha recursão esquerda e fatoração esquerda como F→ FB a ∣ c D S∣ cF→FBuma∣cDS∣c\qquad \displaystyle F \to FBa \mid cDS \mid c qual deles tem prioridade, recursão esquerda ou fatoração esquerda?

8 formal-languages  formal-grammars  parsers  left-recursion