トップダウン構文解析
B → c | c d {\displaystyle B\rightarrow c|cd}
C → d f | e g {\displaystyle C\rightarrow df|eg}
A から開始するとした場合、最初に A → a B C {\displaystyle A\rightarrow aBC} にマッチし、次に(その右辺を左から評価していく過程で) B → c | c d {\displaystyle B\rightarrow c|cd} にマッチする。その後、 C → d f | e g {\displaystyle C\rightarrow df|eg} が適用される。ある非終端記号に関する生成規則の右辺の記号列群において、記号列の先頭に現れる終端記号により、唯一の記号列が決定可能であれば、LL(1) 文法で構文解析できる。ここで、(1) とは構文解析器が先読みする必要があるトークンの数を表している。終端記号ひとつで決定できない言語では、LL法を使って構文解析するには、1つ以上の先読みが必要となる。