在给之前写的 Lisp 解释器之前套上表达式语法时，遇到这样几条文法

$\begin{aligned} Expr & \rightarrow Factor ... \\\\ Exprs & \rightarrow Expr , Exprs\\\\ Factor & \rightarrow Integer|Apply|Identify|...|{(} {Expr} {)} \\\\ Integer & \rightarrow... \\\\ ...\\\\ Apply & \rightarrow Factor ( Exprs ) \end{aligned}$

显然，non-terminal $Apply$ 的派生最左端会进入 $Factor$ ，之后又会回到 $Apply$ 。教科书式的左递归。