Já vi algumas afirmações de que os analisadores PEG otimizados em geral não podem ser mais rápidos que os analisadores LALR (1) ou LL (k) otimizados. (Obviamente, o desempenho da análise dependeria de uma gramática específica.)

Gostaria de saber se há alguma limitação específica dos analisadores de PEG, válida em geral ou para alguns subconjuntos de gramáticas de PEG que os tornariam inferiores ao LALR (1) ou LL (k) em termos de desempenho.

Em particular, estou interessado em geradores de analisador, mas suponho que sua saída possa ser ajustada para desempenho em qualquer caso particular. Eu também suponho que os analisadores são otimizados e é possível ajustar um pouco a gramática se for necessário melhorar o desempenho.