Rendimiento de los analizadores: PEG vs LALR (1) o LL (k)

He visto algunas afirmaciones de que los analizadores de PEG optimizados en general no pueden ser más rápidos que los analizadores de LALR (1) o LL (k) optimizados. (Por supuesto, el rendimiento del análisis dependería de una gramática particular).

Me gustaría saber si existen limitaciones específicas de los analizadores de PEG, ya sean válidos en general o para algunos subconjuntos de gramáticas de PEG que los harían inferiores al rendimiento de LALR (1) o LL (k).

En particular, estoy interesado en los generadores de analizadores, pero supongamos que su salida puede ser modificada para el rendimiento en cualquier caso particular. También asumo que los analizadores están optimizados y es posible ajustar un poco la gramática en particular si es necesario para mejorar el rendimiento.